Reading up on Martin Kleppmann

1 deep · digging since may 22

Cheap code means formal verification is reasonable now — Antfly Blog
The Antfly team shows how coding agents using TLA+ can formally model distributed systems to cheaply find and verify race conditions and other bugs.