一个稀疏平常的日子，正适宜漫步在重峦叠嶂的虚拟世界。在这罗网密布的森林，你偶然发现了一座不起眼的花园藏在荫翳中。看起来主人此刻身在别处，不常打理这个草木蔓生的地方，因为此处无疑被建筑地毫无章法。只是细看之下，倒也能发觉一丝整饬的痕迹。
花园没有栅栏，也没有门扉，似乎在邀请过路人随意观览。一张石桌上正随意地摊开着些书卷，散落其中的是些潦草写就的文章。近处则是一些不久前修剪过的花卉，零落着等待最终的开花结果。越过花园，脚下的小径继续延伸，通往比邻而未知的远方。
| 修剪时间 | 链接 |
|---|---|
| March 31, 2026 | 202501240000 爱情的辩证法 |
| March 30, 2026 | 读书记录 |
| 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 | Persistent Owicki-Gries Reasoning |
| March 26, 2026 | Transition Invariants and Transition Predicate Abstraction for Program Termination |
| March 25, 2026 | Non-Volatile Memory |
| March 25, 2026 | Abstraction for Crash-Resilient Objects |
| March 25, 2026 | compositional concurrent program verification (sample-generalize-check) |
| March 25, 2026 | Porous |
| March 25, 2026 | R-linear invariant |
| March 25, 2026 | 拉康语境中的所指与能指 |
| March 25, 2026 | 政资研国史读书会01 |
| March 25, 2026 | transition invariant checking |
| March 25, 2026 | ultimate Hoare smt checker |
| March 25, 2026 | weak Büchi automaton |
| March 25, 2026 | weak memory consistency |
| March 25, 2026 | 失语症 |
| March 25, 2026 | 字典序法生成排列 |