蔓生庭院

文章

查看剩余137篇 →

密林掩映的小径

种植 修剪历史

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

由Gemini Flash 2.5生成

花园没有栅栏，也没有门扉，似乎在邀请过路人随意观览。一张石桌上正随意地摊开着些书卷，散落其中的是些潦草写就的文章。近处则是一些不久前修剪过的花卉，零落着等待最终的开花结果。越过花园，脚下的小径继续延伸，通往比邻而未知的远方。

修剪时间链接
April 05, 2026读书记录
April 05, 2026基于归纳程序合成的算法自动应用
April 05, 2026Specifying and Verifying Persistent Libraries
April 05, 2026Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
April 05, 2026Persistent Owicki-Gries Reasoning
April 05, 2026Formal Methods for Correct Persistent Programming (Seminar Report)
April 05, 2026Discovering Likely Program Invariants for Persistent Memory
April 05, 2026Abstraction for Crash-Resilient Objects
April 05, 202620260403104812 马克思主义与身份政治
April 03, 2026202403282147 葛兰西的霸权理论
April 01, 2026A Programming Model for Disaggregated Memory over CXL
April 01, 2026Interval counterexamples for loop invariant learning
March 31, 2026202501240000 爱情的辩证法
March 30, 202620260330024103 Verifying Concurrent Programs under Weak Consistency
March 27, 2026202404112127 CDCL algorithm
March 26, 202620260318044720 CXL 3.0 内存共享实现与落地进展
March 26, 2026Transition Invariants and Transition Predicate Abstraction for Program Termination
March 25, 2026Non-Volatile Memory
March 25, 2026compositional concurrent program verification (sample-generalize-check)
March 25, 2026Porous

关系图谱

反向链接