Formal methods and the future of programming
Summary
Jane Street discusses shifting from skepticism toward formal methods to embracing them, citing agentic coding and strong type systems as enabling factors. The post highlights cost barriers, the verification bottleneck, and how feedback from AI agents can improve code reliability, while noting ongoing integration with tests and existing tooling.