Blog

Crushing Castlevania with Antithesis

Castlevania's greatest challenge, three spiked ceilings, present a window into how Antithesis can work through barriers in real software.

We gave $186,000 to the open source community

As beneficiaries of countless OSS maintainers worldwide, it's our responsibility to actively support them and the projects they maintain.

Debugging in the Multiverse

Would figuring out your bugs and outages be easier if you had a time machine? We are now making a time machine directly available to all of our customers.

In the labyrinth of unknown unknowns

Searching your software for bugs is easy if you know what to look for. But what search strategies can you deploy to uncover bugs that you don't even know you should be looking for?

Software reliability, part 1: What is property-based testing?

Tired of playing detective with your own code? Property-Based Testing might be just what you need.

The Testing Pyramid is upside-down

Conventional wisdom says you should have a lot of unit tests and a few end-to-end tests. What if that was exactly backwards?

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.

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.

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?

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.

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.

From zero to first bug

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

Working with Antithesis at MongoDB

A former MongoDB employee recounts his experience working with early Antithesis to find a difficult distributed systems bug.

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

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

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.

So you think you want to write a deterministic hypervisor?

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

Announcing the Antithesis Open Source Giveaway Program

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

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.