Topic
One feed in the directory covers this.
Personal website of Leonid Bugaev — founder of Proof, Head of Engineering at Tyk, creator of GoReplay and Probe Labs. Formal verification for the AI era, engineering, family, and life on the road.
Machine-readable: JSON · all topics