漫步在重峦叠嶂的钢筋水泥森林间，你发现一座不起眼的花园藏在荫翳之中。花园主人此刻身在别处，看起来不常打理这个草木蔓生的地方，因为此处无疑被建筑地毫无章法。只是细看之下，倒也能发觉一丝整饬的痕迹。
花园没有栅栏，也没有门扉，似乎在邀请过路人随意观览。近处有几株主人近期打理过的花卉。
| 修剪时间 | 链接 |
|---|---|
| June 09, 2025 | 20250609054034 LLM for Formal Methods |
| June 09, 2025 | 20250609112156 Hillel Wayne总结大模型在TLA+建模与验证方面的能力 |
| June 09, 2025 | 交互式定理证明 |
| June 09, 2025 | Rocq |
| June 09, 2025 | Workshop on Program Analysis and Verification |
| June 09, 2025 | 202403291041 后福特主义生产体制 |
| June 09, 2025 | 202403291025 福特主义生产体制 |
| June 08, 2025 | 20250608090050 极端通勤 |
| June 08, 2025 | DnD |
| June 08, 2025 | 20250607110043 影响DnD的原典作品 |