一个稀疏平常的日子，正适宜漫步在重峦叠嶂的虚拟世界。在这罗网密布的森林，你偶然发现了一座不起眼的花园藏在荫翳中。看起来主人此刻身在别处，不常打理这个草木蔓生的地方，因为此处无疑被建筑地毫无章法。只是细看之下，倒也能发觉一丝整饬的痕迹。
花园没有栅栏，也没有门扉，似乎在邀请过路人随意观览。一张石桌上正随意地摊开着些书卷，散落其中的是些潦草写就的文章。近处则是一些不久前修剪过的花卉，零落着等待最终的开花结果。越过花园，脚下的小径继续延伸，通往比邻而未知的远方。
| 修剪时间 | 链接 |
|---|---|
| April 23, 2026 | 20260314022844 GOD is REAL (unless declared INTEGER) |
| April 23, 2026 | 20260423033518 Two Hard Things in Computer Science |
| April 23, 2026 | cache coherence |
| April 23, 2026 | Persistency semantics of the Intel-x86 architecture |
| April 23, 2026 | TSO operational semantics |
| April 23, 2026 | coherence |
| April 23, 2026 | coherence memory model |
| April 23, 2026 | VPS 常见工具 |
| April 11, 2026 | 20260403104812 马克思主义与身份政治 |
| April 11, 2026 | 读书记录 |
| April 11, 2026 | 20251003120210 推导规则的分类 |
| April 05, 2026 | 20260405083242 核心家庭 |
| 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 葛兰西的霸权理论 |