Press Space to continue
AI increases demand and supply for formal methods
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
open on x · 1 viewViews and clicks count once per visitor per day. Clicks are opens of this post on X.