如何系统地学习Lean语言？

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

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

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

现在ai编程达到了什么样的水平，是否能独立用来编写游戏？

可以用AI写游戏，在国外就有一个17天创造百万美元游戏的AI...

MongoDB的缺点以及你为什么不使用MongoDB？

我觉得反驳弃用的人没有想明白两个问题： 1、如何证明Mong...

为什么很多警察想辞职?

我是，我也想辞职。 先讲原因。 1，出警要做的太多，四天一...

一方如何治腰痛？

2~4剂痊愈，永不复发。 已经将牛彻底吹到天上了。 椎间盘...

为什么苹果公司无法制造出性价比高的 Mac 电脑？

其实纯粹说什么性价比，得出来的结论可能会让人啼笑皆非。 比...

鸿蒙PC操作系统是不是就是手机操作系统？

你没理解这句话 这是微软（曾经） 这是苹果 这是...

时间序列预测还能在进步吗？

我从2021年开始做一些深度时序模型的研究，仅根据我的个人感...