如何系统地学习Lean语言？

如何系统地学习Lean语言？

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

查看详细
J***a 除了 Spring 还有什么？

J***a 除了 Spring 还有什么？

J***a能做的事还挺多。 著名的沙盒游戏《我的世界》，J...

查看详细
电脑装机两个小时，算不算长时间？

电脑装机两个小时，算不算长时间？

一定要听劝。 装机之前先吃饭。 理线可能比装机还费事。 然...

查看详细
你们听过领导最没水平的一句话是什么？

你们听过领导最没水平的一句话是什么？

公司用盗版office被微软侦测到。 应急处理方式是全部改...

查看详细
M4 Mac mini2024款，这种主机到底怎么样呀？

M4 Mac mini2024款，这种主机到底怎么样呀？

首先是性能足够强，强到大部分人使用的轻薄本都不是对手的程度。...

查看详细