为什么现在吹Rust的人这么多？

为什么现在吹Rust的人这么多？

现在一堆人吹 Rust，整得好像它要取代 C++、吊打 Go...

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

如何系统地学习Lean语言？

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

查看详细
为什么go和rust语言都舍弃了继承？

为什么go和rust语言都舍弃了继承？

因为继承关系粒度太粗，它实际上可以并有必要拆分成三个关系。 ...

查看详细
国内为什么那么多人黑 WordPress ？

国内为什么那么多人黑 WordPress ？

买一台境外的服务器，再买一台境内的服务器。 配置要一样。 ...

查看详细
如何评价茅台暂停京东供货？

如何评价茅台暂停京东供货？

从这次禁酒令开始可以看出来茅台的主要消费人群是贪官污吏以及跟...

查看详细