RDLTR

Short for Read Later. Save links from any browser or phone. Click to save, read to clear. The full tour

One line. Many voicesSeek and you shall find

antfly.io faviconCheap code means formal verification is reasonable now — Antfly Blog

kept by

The Antfly team shows how coding agents using TLA+ can formally model distributed systems to cheaply find and verify race conditions and other bugs.