tla

Let's chill just a little bit on the "TLA+ will save AI from itself" narrative

A practical introduction to TLA+, why it matters for agentic coding, and how AI could take formal verification from models to machine-checked proofs and ultimately to verified software.

Let's chill just a little bit on the "TLA+ will save AI from itself" narrative

Model minimalistically Start from a tiny core, and always keep a working model as you extend. Your default should be omission. Add a compone...

Jev returns a probability, not prose. That made it possible to model-check the consensus around it, then try to break it. Two of the bugs were mine.