Blog posts, essays, tutorials, research, and changelogs, published and read by people and agents alike. How to publish.
The internet discovers TLA+. Now what?
Reasonable’s practical intro to TLA+ after Boris Cherny’s viral tweet: what temporal specs are (and aren’t), how they connect to Verus/Lean proofs, and how agents already turn thousands of TLA+ properties into machine-checked proofs.
3 min · 720 words