-
一位程序员用编程语言Lisp证明了过去用数学语言证明过的哥德尔不完备定理
4K 5 年 前 2418 1 -
开源软件的发展趋势(精)
4K 10 年 前 2 2417 -
幽默：两种复杂性Complex与Complicated区别？
5 年 前 2400 1 -
三个Rust代码库的经验分享：何时开始使用Rust？ - convex
5K 4 年 前 2310 1 -
什么是“六顶思考帽”模型？ - modernanalyst
5 年 前 2294 -
doom-emacs: Linux中速度极快的Emacs粉丝编辑器
4 年 前 2282 -
PostgreSQL一线生产经验分享：我讨厌PostgreSQL的10件事 | Rick Branson
10K 6 年 前 2280 2 -
Claude Code难度等级Low/Medium/High/Max完整对比与使用指南
6K 4 个月 前 2253 3