如何系统地学习Lean语言？

如何系统地学习Lean语言？

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

查看详细
都是研制核武器，美国为何只敢动伊朗，对朝鲜却畏首畏尾？

都是研制核武器，美国为何只敢动伊朗，对朝鲜却畏首畏尾？

第一，朝鲜就认一个死理：你打我，我就打韩国，而且是往死里打。

查看详细
程序员都干过哪些很刺激的事情？

程序员都干过哪些很刺激的事情？

用友政务有个小工具，叫msde小工具，里面可以执行一些sql

查看详细
英特尔的衰落，是因为真正做事的工程师被挖了？还是公司战略出问题？

英特尔的衰落，是因为真正做事的工程师被挖了？还是公司战略出问题？

是战略问题，intel错过了大多数原本可以翻盘的机会。 介

查看详细
你卡过最厉害的bug是什么？

你卡过最厉害的bug是什么？

15年，我们小区交房，刚开始车位卖10w一个。 地上车位只

查看详细