• 软件工程技术漫谈(1) —— 训练谜云

  2 min read   ·   October 13, 2025

  2025   ·   cs  

• 浮点数，误差估计与分析

  4 min read   ·   February 11, 2025

  2025   ·   cs  

• 这个幻灯片模版, 终于被我“偷”到了

  1 min read   ·   December 01, 2024

  2024   ·   cs  

• 我的 CS 工作流

  3 min read   ·   January 20, 2024

  2024   ·   cs  

• 符号执行, KLEE 与 LLVM

  8 min read   ·   December 16, 2023

  2023   ·   cs