如何系统地学习Lean语言？

如何系统地学习Lean语言？

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

查看详细
为什么明朝前期兵强马壮时丢弃越南？

为什么明朝前期兵强马壮时丢弃越南？

还是那个老问题，明朝严重低估了交阯的实力。 由于胡朝是篡位...

查看详细
做前端开发的女生，最后都干什么去了？

做前端开发的女生，最后都干什么去了？

女生，搞技术，一般结果有两种，比较良好，比较不好。 认识几...

查看详细
golang总体上有什么缺陷？

golang总体上有什么缺陷？

没什么缺陷，唯一的缺陷就是喜欢动态化的魔怔人太多，当然官方特...

查看详细
国产数据库有什么坑？

国产数据库有什么坑？

近日， Fauna DB在其***发布了一则公告， The ...

查看详细