2026​

• 3月30日 - 使用 Incus 构建实验室开发环境 0
• 4月2日 - 使用 Incus 构建实验室开发环境 1
• 4月14日 - 使用 Incus 构建实验室开发环境 2
• 5月25日 - 使用 Incus 构建实验室开发环境 3

2025​

• 6月30日 - 动态调整 vagrant-libvirt 虚拟机的磁盘大小
• 10月28日 - 在 Typst 的 Cheq 中使用 FontAwesome 图标

2023​

• 1月20日 - 6.824 Lab 1 简记
• 4月23日 - 群论应用：布尔函数计数
• 5月10日 - 6.824 Lab 2 简记（零）: 一个漂亮的 Logger

2022​

• 8月25日 - 汉明码
• 10月1日 - 在 Rust 过程宏中从 `Option` 提取类型