如何看待小米 YU7 3 分钟大定突破 20 万辆,锁单 12.2 万辆?小米汽车做对了什么?

如何看待小米 YU7 3 分钟大定突破 20 万辆,锁单 12.2 万辆?小米汽车做对了什么?

离谱,真是离谱。 想不到10年前抢小米手机,10年后抢小米汽...

查看详细
如何系统地学习Lean语言?

如何系统地学习Lean语言?

我就默认你学的是Lean4了。 可以试着玩玩下面两款交互式...

查看详细
现在写 J***aScript 的是不是已经没人在用 class 这个关键字了?

现在写 J***aScript 的是不是已经没人在用 class 这个关键字了?

两年以前,我在这个回答下边写了一千来字草稿,试图论证 cla...

查看详细
公路车超过多少公斤就已经算很沉的了?

公路车超过多少公斤就已经算很沉的了?

整车重量,包含脚踏,码表,水壶架这些必须的附件,以现在主流的...

查看详细