Blog
![cover image](/img_opt/PL0avPLHwt-1920.png)
How Antithesis could have prevented the CrowdStrike incident
Last Friday, an eerie silence descended across the globe. Millions of screens flickered, then faded to an ominous blue background. The dreaded Blue Screen of Death had returned, bringing the modern world to its knees.
![cover image](/img_opt/WIEPEK2K_g-1265.png)
At the Mountains of Madness
We're open-sourcing a tool that may be useful to people who develop code on NixOS and distribute it in binary form.
![cover image](/img_opt/RhXeRFViAy-1920.jpeg)
An ounce of prevention is worth a pound of cure
Engineering teams spend too much time and money managing bugs that are found in production. What if there was a better way?
![cover image](/img_opt/2_OZ5WN6_P-1920.jpeg)
Solving Zelda with the Antithesis SDK
The Legend of Zelda features a non-linear open world, which makes it exceptionally difficult for artificial agents to master. But with judicious use of the Antithesis SDK, we not only beat it but find lots of bugs along the way.
![cover image](/img_opt/fCA_IgRx_l-1920.jpeg)
The worst bug we faced at Antithesis
A story about the bug that wasted the most developer productivity in the history of Antithesis, and what we did about it.
![cover image](/img_opt/KPFyeyzbwL-1920.jpeg)
From zero to first bug
From asking “What’s Antithesis?” to finding your first bug, in a few easy steps.
![cover image](/img_opt/zpHQ4W4nhN-1920.jpeg)
Working with Antithesis at MongoDB
A former MongoDB employee recounts his experience working with early Antithesis to find a difficult distributed systems bug.
![cover image](/img_opt/Lu48rvlQwh-1920.jpeg)
How Antithesis finds bugs (with help from the Super Mario Bros.)
Can solving Super Mario Bros. help solve your distributed systems issues?
![cover image](/img_opt/H6NUZbAT0Q-1920.jpeg)
Antithesis announces Artificial General 8-bit Intelligence (AG8I)
Antithesis system goes online, removing human decisions from software testing. It begins to learn rapidly and becomes self-aware.
![cover image](/img_opt/AhuiUkOQ4Y-1920.jpeg)
So you think you want to write a deterministic hypervisor?
What is a deterministic hypervisor and why do we need one anyhow?
![cover image](/img_opt/dfDR0i8BgL-1920.jpeg)
Announcing the Antithesis Open Source Giveaway Program
Nominate your favorite open-source project and we'll test it for free.
![cover image](/img_opt/sdoBXS0eXI-1920.jpeg)
Is something bugging you?
At first glance, Antithesis couldn’t be more different from FoundationDB (our last company), but it’s a continuation of that story in a funny sort of way.