一个稀疏平常的日子，正适宜漫步在重峦叠嶂的虚拟世界。在这罗网密布的森林，你偶然发现了一座不起眼的花园藏在荫翳中。看起来主人此刻身在别处，不常打理这个草木蔓生的地方，因为此处无疑被建筑地毫无章法。只是细看之下，倒也能发觉一丝整饬的痕迹。
花园没有栅栏，也没有门扉，似乎在邀请过路人随意观览。一张石桌上正随意地摊开着些书卷，散落其中的是些潦草写就的文章。近处则是一些不久前修剪过的花卉，零落着等待最终的开花结果。越过花园，脚下的小径继续延伸，通往比邻而未知的远方。
| 修剪时间 | 链接 |
|---|
| April 11, 2026 | 20251003120210 推导规则的分类 |
| April 10, 2026 | 20260403104812 马克思主义与身份政治 |
| April 05, 2026 | 20260405083242 核心家庭 |
| April 05, 2026 | 读书记录 |
| April 05, 2026 | 基于归纳程序合成的算法自动应用 |
| April 05, 2026 | Specifying and Verifying Persistent Libraries |
| April 05, 2026 | Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants |
| April 05, 2026 | Persistent Owicki-Gries Reasoning |
| April 05, 2026 | Formal Methods for Correct Persistent Programming (Seminar Report) |
| April 05, 2026 | Discovering Likely Program Invariants for Persistent Memory |
| April 05, 2026 | Abstraction for Crash-Resilient Objects |
| April 03, 2026 | 202403282147 葛兰西的霸权理论 |
| April 01, 2026 | A Programming Model for Disaggregated Memory over CXL |
| April 01, 2026 | Interval counterexamples for loop invariant learning |
| March 31, 2026 | 202501240000 爱情的辩证法 |
| March 30, 2026 | 20260330024103 Verifying Concurrent Programs under Weak Consistency |
| March 27, 2026 | 202404112127 CDCL algorithm |
| March 26, 2026 | 20260318044720 CXL 3.0 内存共享实现与落地进展 |
| March 26, 2026 | Transition Invariants and Transition Predicate Abstraction for Program Termination |
| March 25, 2026 | Non-Volatile Memory |