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 Ze Trinh
• Vincent Cheng

related reading

• lf-lean: The frontier of verified software engineering | Theoremtheorem.dev
• When AI Writes the World's Software, Who Verifies It? — Leonardo de Mouraleodemoura.github.io
• The Coming Loop | Armin Ronacher's Thoughts and Writingslucumr.pocoo.org
• Jane Street Blogblog.janestreet.com
• The Eternal Sloptember | the singularity is nearergeohot.github.io
• Human Judgment as a Specificationblog.brownplt.org
• Prediction: AI will make formal verification go mainstream - Martin Kleppmann's blogmartin.kleppmann.com
• The Scalable Formal Oversight Research Program — LessWronglesswrong.com
• Automatic Formal Verification for Code Generationlogicalintelligence.com
• Would you fly on an AI-coded plane | Hackle's bloghacklewayne.com
• How To Think Real Good | Meta-rationalitymetarationality.com
• Thoughts on slowing the fuck downmariozechner.at