Formal methods and the future of programming

But the emergence of agentic coding has changed our perspective, and we’ve gone from being skeptical to being excited about the possibilities.