• 2025/06/05 我在幼儿园用lean证明2+2=4
• 2024/05/29 工具理性与价值理性
• 2024/05/29 弗雷格也是纳粹吗？
• 2024/04/21 读《会饮篇》
• 2024/04/08 读《论自由》
• 2024/01/08 Forth: The programming language that writes itself
• 2023/12/25 利用Haskell的laziness计算斐波那契数列
• 2023/11/21 测量TLB的容量和访问TLB的开销
• 1970/01/01 一些阅读链接
• 1970/01/01 About Me