漫步在重峦叠嶂的钢筋水泥森林间，你发现一座不起眼的花园藏在荫翳之中。花园主人此刻身在别处，看起来不常打理这个草木蔓生的地方，因为此处无疑被建筑地毫无章法。只是细看之下，倒也能发觉一丝整饬的痕迹。
花园没有栅栏，也没有门扉，似乎在邀请过路人随意观览。近处有几株主人近期打理过的花卉。
| 修剪时间 | 链接 |
|---|---|
| June 24, 2025 | 20250624055524 Vibe Coding |
| June 24, 2025 | 20250624042439 最小阻力路径 |
| June 24, 2025 | 基于trace的程序建模 |
| June 24, 2025 | assume语句 |
| June 24, 2025 | Ultimate |
| June 21, 2025 | 20250610103733 GNS理论 |
| June 21, 2025 | 202403291041 后福特主义生产体制 |
| June 20, 2025 | Floyd-Hoare Automata |
| June 20, 2025 | trace abstraction 路径抽象 |
| June 20, 2025 | trace |