Antithesis blog

When did the bug start?

Mon, 11 May 2026 12:00:00 GMT

Causality analysis for Antithesis.

Antithesis report: Tigris Data

Tue, 21 Apr 2026 12:00:00 GMT

Tigris Data uses Antithesis to test their consistency guarantees.

What are skiplists good for?

Thu, 16 Apr 2026 12:00:00 GMT

An exotic data structure and a whole lot of JOINs.

Antithesis skills for agents

Wed, 25 Mar 2026 12:00:00 GMT

Love Antithesis, hate the setup process? What if your good friend Claude could do it for you?

Hypothesis, Antithesis, synthesis

Tue, 24 Mar 2026 12:00:00 GMT

Introducing Hegel, our new family of property-based testing libraries.

A declarative restoration

Wed, 18 Mar 2026 12:00:00 GMT

Why testing fell behind the rest of software development, and how it can catch up.

A fighting retreat

Fri, 06 Mar 2026 06:00:00 GMT

We're all turning into crabs, but we can choose how fast we do so.

Formal methods for the unsafe side of the Force

Thu, 26 Feb 2026 12:00:00 GMT

How we formally verified thread safety for our C++/Rust interface.

Catching a caching bug at Readyset

Thu, 19 Feb 2026 12:00:00 GMT

Cache invalidation spares no one — not even caching companies.

How we interfaced single-threaded C++ with multi-threaded Rust

Thu, 29 Jan 2026 12:00:00 GMT

And lived to tell the tale.

When your customer leads your Series A

Wed, 03 Dec 2025 06:00:00 GMT

They say a startup's customers are also investors, but they don't mean it like this.

Antithesis launches Kubernetes support

Wed, 05 Nov 2025 12:00:00 GMT

Kubernetes users can now use the same manifests they use in production in their Antithesis tests.

They don't even have eyes

Fri, 31 Oct 2025 12:00:00 GMT

Training homunculi to solve quests with Alchemical Intelligence

Antithesis and the open source community

Thu, 16 Oct 2025 12:00:00 GMT

We're members of the Open Source Pledge, but that's far from all we do.

Did you get lucky or unlucky?

Wed, 15 Oct 2025 12:00:00 GMT

Figuring out whether a rare bug is really resolved.

Obscure feature + obscure feature + obscure feature = bug

Fri, 19 Sep 2025 12:00:00 GMT

How piling on weird language features in our C++ SDK turned up a compiler bug.

Optimizing our way through Metroid

Fri, 22 Aug 2025 12:00:00 GMT

How should a fuzzer balance exploration and minimization? Samus has the answer.

What does AI testing done right look like?

Wed, 23 Jul 2025 12:00:00 GMT

It's not like most of what's out there

Pre-observability

Wed, 02 Jul 2025 12:00:00 GMT

Time machines can take you in both directions.

Fix the new things first!

Thu, 22 May 2025 12:00:00 GMT

Try this one dumb trick.

Finding a way to make on-call better

Thu, 22 May 2025 11:00:00 GMT

Would on-call be better if triage and bisection were done for you?

The pragmatic magic of semi-formal methods

Mon, 12 May 2025 12:00:00 GMT

Software verification without pain.

How Antithesis lets Clément Salaün of Formance sleep soundly at night

Thu, 01 May 2025 00:00:00 GMT

The worst bugs make you question your whole understanding of the world. Antithesis helped a fintech infrastructure provider fix one such nightmare.

Antithesis for founders

Wed, 30 Apr 2025 12:00:00 GMT

An offer that's slightly easier than chewing broken glass.

No power, no programs

Wed, 02 Apr 2025 12:00:00 GMT

How Antithesis helps PingThings transform the electrical grid.

Our own worst best customer

Thu, 27 Mar 2025 00:00:00 GMT

We wrote a database from scratch in 9 months - but we had some help along the way.

Hunting for one-in-a-million bugs in NATS

Tue, 18 Mar 2025 12:00:00 GMT

The story of how Antithesis caught a terrifying bug hiding in the Raft layer of NATS.

Depth is all you need: how Antithesis crushes Gradius

Fri, 21 Feb 2025 12:00:00 GMT

Antithesis' ability to play like a computer, not a human being, is central both to finding bugs and beating side-scrolling shooters.

How to make your own luck

Thu, 13 Feb 2025 12:00:00 GMT

Reflections on one year out of stealth.

How much did Sony’s recent PlayStation Network outage cost?

Mon, 10 Feb 2025 00:00:00 GMT

A back of envelope calculation (it was quite a lot).

An interview with Mark Logan, Tech Lead for Sui Core

Thu, 16 Jan 2025 00:00:00 GMT

A conversation about the toughest and most exciting projects happening at Mysten Labs, and why DST is an absolute necessity for anyone building a blockchain.

Rolling for our new initiative: Test Composer

Wed, 20 Nov 2024 12:00:00 GMT

Testing can be hard. But we've just made it a little bit easier.

Introducing our reactive Notebook: the paradigm devs deserve.

Wed, 13 Nov 2024 12:00:00 GMT

Can we build better DX with a change in perspective?

Your computer can test better than you (and that's a good thing)

Tue, 05 Nov 2024 12:00:00 GMT

We deploy to production on Fridays. Can you? It sounds way less crazy when we tell you how autonomous testing rearranges the canonical DevOps cycle that underpins most of software delivery today.

Crushing Castlevania with Antithesis

Fri, 20 Sep 2024 12:00:00 GMT

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

Mon, 16 Sep 2024 12:00:00 GMT

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

Debugging in the Multiverse

Tue, 10 Sep 2024 12:00:00 GMT

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.

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

Tue, 20 Aug 2024 12:00:00 GMT

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

In the labyrinth of unknown unknowns

Tue, 20 Aug 2024 12:00:00 GMT

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?

The Testing Pyramid is upside-down

Tue, 06 Aug 2024 12:00:00 GMT

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

At the Mountains of Madness

Wed, 10 Jul 2024 14:00:00 GMT

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

Tue, 18 Jun 2024 12:00:00 GMT

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

Mon, 03 Jun 2024 12:00:00 GMT

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

Tue, 21 May 2024 14:00:00 GMT

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

Thu, 09 May 2024 12:00:00 GMT

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

Working with Antithesis at MongoDB

Mon, 22 Apr 2024 12:00:00 GMT

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.)

Wed, 17 Apr 2024 12:00:00 GMT

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

Antithesis announces Artificial General 8-bit Intelligence (AG8I)

Mon, 01 Apr 2024 12:00:00 GMT

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?

Wed, 20 Mar 2024 12:00:00 GMT

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

Announcing the Antithesis Open Source Giveaway Program

Wed, 28 Feb 2024 12:00:00 GMT

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

Is something bugging you?

Tue, 13 Feb 2024 12:00:00 GMT

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.

Testing the Ethereum merge

Thu, 01 Jan 1970 00:00:00 GMT

How Antithesis helped Ethereum successfully transition from Proof of Work to Proof of Stake.

Accelerating developers at MongoDB