Blog

cover image

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

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

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

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

From zero to first bug

From asking “What’s Antithesis?” to finding your first bug, in a few easy steps.
cover image

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

How Antithesis finds bugs (with help from the Super Mario Bros.)

Can solving Super Mario Bros. help solve your distributed systems issues?
cover image

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

So you think you want to write a deterministic hypervisor?

What is a deterministic hypervisor and why do we need one anyhow?
cover image

Announcing the Antithesis Open Source Giveaway Program

Nominate your favorite open-source project and we'll test it for free.
cover image

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.