一个稀疏平常的日子，正适宜漫步在重峦叠嶂的虚拟世界。在这罗网密布的森林，你偶然发现了一座不起眼的花园藏在荫翳中。看起来主人此刻身在别处，不常打理这个草木蔓生的地方，因为此处无疑被建筑地毫无章法。只是细看之下，倒也能发觉一丝整饬的痕迹。
花园没有栅栏，也没有门扉，似乎在邀请过路人随意观览。一张石桌上正随意地摊开着些书卷，散落其中的是些潦草写就的文章。近处则是一些不久前修剪过的花卉，零落着等待最终的开花结果。越过花园，脚下的小径继续延伸，通往比邻而未知的远方。
| 修剪时间 | 链接 |
|---|---|
| March 24, 2026 | 20260324100032 Agent Skills |
| March 24, 2026 | 序数法生成排列 |
| March 24, 2026 | 国史读书会01 |
| March 24, 2026 | 求解常系数线性递推关系 |
| March 24, 2026 | Leslie Lamport |
| March 24, 2026 | LLVM 转换IR格式 |
| March 24, 2026 | stochastic search |
| March 24, 2026 | constraint solving based synthesis |
| March 24, 2026 | 程序综合 |
| March 24, 2026 | 程序综合的一般原则 |
| March 24, 2026 | programming by example |
| March 24, 2026 | enumerative search based synthesis |
| March 24, 2026 | Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants |
| March 24, 2026 | 树的直径 |
| March 24, 2026 | compositional concurrent program verification (sample-generalize-check) |
| March 24, 2026 | trace abstraction |
| March 24, 2026 | 终止性分析 |
| March 24, 2026 | 基于trace的程序建模 |
| March 24, 2026 | lasso |
| March 24, 2026 | 并发程序分析验证 |