Antithesis on The Pragmatic Engineer Podcast

Before we start, I'd like to mention our presenting sponsor antithesis and maybe offer a little history lesson. Over the last two decades, software development has gone through a mindset shift from an imperative approach to declarative one. Infrastructure is a perfect example. Think about how tools like Puppet and Ansible allow declaring how individual servers should be configured. Then came Terraform, the ability to declare the desired end state of your whole infrastructure: servers, networks, databases, and their relationships. And then with Kubernetes, we stop scripting container lifecycles. Instead, we write manifests that say things like I want three replicas of this application exposed behind a surface with this much CPU and memory. Once we didn't have to specify every little detail of our infrastructure anymore, deploying software became much faster. But then the bottleneck became how quickly we could test and verify the code to be deployed. Testing remained imperative. We had to write tests for every little detail. And now with LLMs, we're on the verge of a declarative shift in the way code is written as well. Just tell the model what you want and let it figure out the details. And it's going to make the verification bottleneck a million times worse. Enthesys is a declarative testing tool that can keep up with your AI coding agents. You state the properties you want your software to have, and Antithesis figures out how to check them for you. Verify your code as fast as agents can write it and ship with growling confidence. Head to antithesis.com/pragmatic.