The internet discovers TLA+. Now what?(reasonable.io)
97 points by matt_d | 48 comments
A Reasonable blog post introducing TLA+ and discussing how temporal specifications, proof systems, and AI agents can combine to produce specified, verified software.