Antithesis on The Pragmatic Engineer Podcast

Can you share something about today's presenting sponsor? What? Is this really the question that people are asking? No, this was actually not submitted by anyone, but I still want to talk about it. Now, I admit this was the one question I sneaked in because I really wanted to share something visually interesting about our presenting sponsor, Antithesis. It's how different their UI is. Let me show you with three examples. We already know that Antithesis verifies your system's correctness by running your whole system in hostile simulation and finding bugs. Here's the UI for casualty analysis. You can open a report for a bug and see the probability of a bug occurring throughout the timeline of the simulation. In this case, we can see that at virtual time 25, something happened that makes this bug close to 100% to occur. So we can jump into this point in the virtual timeline simulation to read the logs. This kind of bug probability visualization is one that I've just not seen before. There's also this neat log explorer. You can filter on error messages and then visualize how common or uncommon the error is over time. For example, here we're looking for failing linearization failures, the purple line. And you can understand how rare or common a specific failure was. Again, I've yet to see this kind of error visualization and I really like the innovation on the UI here. And finally, the multiverse debugger. You can go back in time and replay a debug timeline. And you can inject bash commands at any time without affecting the playback of the bug. How cool is that? For example, here we're listing files in a current directory, but as you can imagine, you can debug the whole environment much easier. I really like how the team at Antithesis are pushing what's possible with both debugging and verifying software. Head to antithesis.com/pragmatic to learn more.