一个稀疏平常的日子，正适宜漫步在重峦叠嶂的虚拟世界。在这罗网密布的森林，你偶然发现了一座不起眼的花园藏在荫翳中。看起来主人此刻身在别处，不常打理这个草木蔓生的地方，因为此处无疑被建筑地毫无章法。只是细看之下，倒也能发觉一丝整饬的痕迹。
花园没有栅栏，也没有门扉，似乎在邀请过路人随意观览。一张石桌上正随意地摊开着些书卷，散落其中的是些潦草写就的文章。近处则是一些不久前修剪过的花卉，零落着等待最终的开花结果。越过花园，脚下的小径继续延伸，通往比邻而未知的远方。
| 修剪时间 | 链接 |
|---|---|
| October 07, 2025 | Typst |
| October 03, 2025 | 数理逻辑 |
| October 03, 2025 | 20251003120210 推导规则的分类 |
| October 02, 2025 | Ampliative Argument |
| September 24, 2025 | Separation Logic |
| September 23, 2025 | 清华大学TRPG跑团社群 |
| September 22, 2025 | PAC Learning |
| September 21, 2025 | 避免NPC的背叛 |
| September 17, 2025 | 20250917100353 PAC Learning中的大O记号问题 |
| September 16, 2025 | Incorrectness Logic |
| September 16, 2025 | 母舰 |
| September 16, 2025 | Finding real bugs in big programs with incorrectness logic |
| September 15, 2025 | DnD |
| September 15, 2025 | Nano Banana 测试 |
| September 15, 2025 | 个人简介 |
| September 13, 2025 | 友链 |
| September 11, 2025 | Incorrectness Separation Logic |
| September 10, 2025 | 非终止性分析 |
| September 10, 2025 | 差分 |
| September 10, 2025 | 单调队列 |