Back to scour.grumbly742's feed

Formal methods and the future of programming (opens in new tab) 🔍Formal Methods

blog.janestreet.com··Lobsters·Cited by 1 article·Covers: Lean: Programming Language and Theorem Prover, SeL4 is a formally verified operating system +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

·