杂篇

• git merge 的（伪）形式化定义 (2025-11-05)
• 匿名递归与不动点组合子 (2025-09-02)
• DCT (2025-08-27)
• 指示变量法 (2025-03-26)
• Cochran 定理的证明 (2025-02-28)
• C 声明 (2024-10-01)
• 补码 (2024-10-01)

题解

• Introduction to the theory of computation
• TAPL
• SJTU 组合数学