Jane Street Blog - Formal methods and the future of programming

I’ve been telling people for the last 25 years that Jane Street as an organization was just not interested in formal methods.

Jane Street Blog - Formal methods and the future of programming Formal methods and the future of programming Jun 07, 2026 | 8 min read Share on Facebook Share on Twitter Share on LinkedIn By: Yaron Minsky I’ve been telling people for the last 25 years that Jane Street as an organization was just not interested in formal methods. I’m not saying that anymore. It’s not exactly that I think we were wrong all those years. To be clear, we’re strong believers in the power of tools to help us write better and more reliable code. And type systems are a kind of lightweight formal method that we’ve gotte

saved by

• Trevor Trinh
• grep vector
• Vincent Cheng

related reading

• Formal methods and the future of programmingblog.janestreet.com
• When AI Writes the World's Software, Who Verifies It? — Leonardo de Mouraleodemoura.github.io
• Jane Street Blogblog.janestreet.com
• lf-lean: The frontier of verified software engineering | Theoremtheorem.dev
• The Case Against Formal Verification, 50 Years Laterivan-gavran.github.io
• The Eternal Sloptember | the singularity is nearergeohot.github.io
• The Coming Loop | Armin Ronacher's Thoughts and Writingslucumr.pocoo.org
• Formally Verifying the Easy Partbrainflow.substack.com
• Human Judgment as a Specificationblog.brownplt.org
• Intent Formalization: A Grand Challenge for Reliable Coding in the Age of AI Agentsalphaxiv.org
• Prediction: AI will make formal verification go mainstream - Martin Kleppmann's blogmartin.kleppmann.com
• Formalizing Fermat's Last Theoremanthropic.com