LLMs revived specifications. Model checkers like Fizzbee work for algorithms. But for APIs and business logic? The tooling doesn't exist yet.
Generative artificial intelligence has amazed the World. Since OpenAI launched ChatGPT 3, its user adoption has been staggering. In 2022, ChatGPT surpassed one million users in just five days. For comparison, Instagram needed 2.5 months back in 2010. And it’s not just OpenAI. Anthropic has Claude, one of the best models for programming...
LLMs revived specifications. Model checkers like Fizzbee work for algorithms. But for APIs and business logic? The tooling doesn't exist yet.
LLMs amplify expertise, they don't replace it. Here's what works: planning, context, feedback loops, and building systems that let AI discover bugs.
Reflections on returning to engineering, discovering simulation as a superpower, learning to work with LLMs, and the compounding value of years of distributed systems work.