主题 · 概念
信任
人际信任与系统信任:人们为何依赖自己无法查验的银行、流程和软件,以及这种依赖如何赢得。
- 页面
- 3
地图上 3 个页面及其周边主题
形式
主题
技术
篇幅
2026
-
文章The River and the CanalEN中한
Agents explore the rugged world; workflows are what exploration leaves behind. Chess, StarCraft, a factory under the sea, and why I build an engine.
51 分钟阅读 · 16 章
-
文章The Proof You Only Have to Write Once
Generation is cheap, so verification is the bottleneck — and we throw the verification away every time. What if a proof, once written, could be named, shared, and vouched for? A content-addressed commons for verified Haskell, and the move I left for after the semantic-artifact trilogy.
13 分钟阅读 · 7 章
-
文章What Zentinel Is Really Optimizing For
Every major proxy was a product of its time. Zentinel is built for this one: safety, operability, and the operator's ability to sleep.
18 分钟阅读 · 8 章

