Press Space to continue
Finding signal on Twitter is more difficult than it used to be. We curate the best tweets on topics like AI, startups, and product development every weekday so you can focus on what matters.
Press Space to continue
Press Space to continue
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. https://blog.janestreet.com/formal-metho…

Formal methods and the future of programming