知识
Banach–Tarski 分球定理的证明细节
Banach–Tarski 分球定理的用到的想法和细节处理。
高等代数Ⅰ期末复习笔记
往年题选做和可能有用的知识扩充 & 考后总结。
计算概论期末复习笔记（Bird Meertens 形式开始的部分）
使用 Bird Meertens Formalism 导出高效程序与进行自动并行化。
Hash 与基于哈希的 table 实现
阅读 Rust 标准库的 Hash 与 RawTable 相关代码。
范畴论练习（一）：定义验证与泛性质使用
选做一些 Mac Lane 书上的习题（到 Ⅲ. Universals and Limits 的 1. Universal Arrows）。