flâneur

Jane Street Blog - Formal methods and the future of programming

blog.janestreet.com · 1,514 words · saved by 1 readers

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

related reading