#tla+

Cheap code means formal verification is reasonable now

How we use TLA+ and coding agents to formally model distributed systems, find race conditions, and turn speculative bug hunts into verified fixes.