一个稀疏平常的日子,正适宜漫步在重峦叠嶂的虚拟世界。在这罗网密布的森林,你偶然发现了一座不起眼的花园藏在荫翳中。看起来主人此刻身在别处,不常打理这个草木蔓生的地方,因为此处无疑被建筑地毫无章法。只是细看之下,倒也能发觉一丝整饬的痕迹。

花园没有栅栏,也没有门扉,似乎在邀请过路人随意观览。一张石桌上正随意地摊开着些书卷,散落其中的是些潦草写就的文章。近处则是一些不久前修剪过的花卉,零落着等待最终的开花结果。越过花园,脚下的小径继续延伸,通往比邻而未知的远方。
| 修剪时间 | 链接 |
|---|---|
| October 24, 2025 | 编译 Infer |
| October 21, 2025 | RSS |
| October 21, 2025 | 20251014052643 Tea-reading |
| October 21, 2025 | 音乐欣赏 |
| October 21, 2025 | rsshub开发 |
| October 19, 2025 | 翻译及校对常用正则表达式 |
| October 12, 2025 | Bertalign |
| October 10, 2025 | Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels |
| 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 |