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.

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 gotten an enormous amount of benefit from. So you might expect us to have been big believers in more full-on formal methods. But outside of some special cases (notably, hardware synthesis), our sense has…

saved by

• Devin Plumb

related reading

• Jane Street Blog - Formal methods and the future of programmingblog.janestreet.com
• Automatic Formal Verification for Code Generationlogicalintelligence.com
• A shallow dive into formal verificationvitalik.eth.limo
• The Case Against Formal Verification, 50 Years Laterivan-gavran.github.io
• Jane Street Blogblog.janestreet.com
• Formally Verifying the Easy Partbrainflow.substack.com
• Intent Formalization: A Grand Challenge for Reliable Coding in the Age of AI Agentsalphaxiv.org
• Human Judgment as a Specificationblog.brownplt.org
• When AI Writes the World's Software, Who Verifies It? — Leonardo de Mouraleodemoura.github.io
• Would you fly on an AI-coded plane | Hackle's bloghacklewayne.com
• 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