Antithesis on The Pragmatic Engineer Podcast

This is where I need to mention our presenting sponsor, Antisys. Antisysys verifies your system of correctness by running your whole system in hostile simulation and finding bugs. It does this by using an approach called deterministic simulation testing, or DST, which ADW's distinguished engineer Mark Brooker and Ankur Desai have described as lightweight formal methods. Setting aside Intisys for a minute, if you as an engineer want to get more serious in verifying that your system works as intended, your best bet would be to use lightweight formal methods. Now back to Intisys. Intisys turbocharges testing by running your whole system under aggressive fault injection. Imagine Intisysys as hundreds or thousands of versions of the Mario game running, each instance aggressively trying to break the game with increasingly weird input combinations. With Antithesis, you can specify properties at the whole system level, and Antithesis will actively try to disprove them. So you can be confident that if your system holds up in Antithesis, it will hold up in production. There's good reason teams like Janestreet, Fly.io, and the etcd community rely on Antithesis. Head to antithesis.com slash pragmatic to learn more.