Hi, I’m Feng. Here I keep technical notes and write about life.
- Notes — things I learn about NixOS, Linux, programming, and tools
- Posts — diary, travel, and whatever comes to mind
Browse by categories or scroll down for recent entries.
- 2026/07/27 Tai-e Assignment 7: Alias-Aware 的过程间常量传播
- 2026/07/26 Tai-e Assignment 6: 上下文敏感的指针分析
- 2026/07/21 Tai-e Assignment 5: 非上下文敏感指针分析
- 2026/07/16 Tai-e Assignment 4: 类层次结构分析与过程间常量传播
- 2026/07/12 Tai-e Assignment 3: 死代码检测
- 2026/07/11 大学四年回忆录
- 2026/07/10 Tai-e Assignment 2: 常量传播和 Worklist 求解器
- 2026/07/03 Tai-e Assignment 1: 活跃变量分析与迭代求解器
- 2026/06/28 Debug：IntelliJ IDEA 在 NixOS 上无法编译 / 自动补全
- 2026/06/25 Getting Started
- 2026/06/25 Hello World