Topics · Concept
Trust
Personal trust and system trust: why people rely on banks, procedures and software they cannot inspect, and how that reliance is earned.
- Pages
- 3
On the map 3 pages and the topics around it
2026
-
articleThe 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 min read · 16 chapters
-
articleThe 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 min read · 7 chapters
-
articleWhat 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 min read · 8 chapters
