Back to justjcullen's feed

Formal methods and the future of programming (opens in new tab) 🔗Dependent Types Content type: Blog

blog.janestreet.com··Lobsters, Hacker News, Hacker News·Cited by 1 article·Covers: Lean: Programming Language and Theorem Prover, OxCaml, Jane Street's extension of OCaml is now open-source +2 more·Open original

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

Read the original article

Sign in to keep reading the full article.

Cited by 1 article

Interesting. AI will in effect increase both supply and demand for formal methods. You need them more, but you also have tools that make them cheaper.

twitter.macworks.dev

·