CHEAP CODE MEANS FORMAL VERIFICATION IS REASONABLE NOW

Summary from the TLDR newsletter

One way to make sure that agents complete tasks correctly is to make them hill climb on verifiable problems. Comprehensive conformance test suites are valuable because they help guarantee that agents produce what developers actually want them to. TLA+ is a formal spec language for modeling complex systems with many moving parts. Formal languages have proof checkers and other ways of catching many of the types of hallucinations that language models create.