2026​

• March 30 - 使用 Incus 构建实验室开发环境 0
• April 2 - 使用 Incus 构建实验室开发环境 1
• April 14 - 使用 Incus 构建实验室开发环境 2
• May 25 - 使用 Incus 构建实验室开发环境 3

2025​

• June 30 - 动态调整 vagrant-libvirt 虚拟机的磁盘大小
• October 28 - Using FontAwesome Icons with Typst's Cheq

2023​

• January 20 - Brief Notes on 6.824 Lab 1
• April 23 - Group Theory Application: Boolean Function Counting
• May 10 - 6.824 Lab 2 简记（零）: 一个漂亮的 Logger

2022​

• August 25 - Hamming Code
• October 1 - Extract type from `Option` in ProcMacro of Rust