Articles, talks, stories, & more
Read, watch, and learn.
Everything Antithesis.
Issue 000
Steel, Rust, and truth
Behaviors as the backbone of software correctness
Building confidence in an always-in-motion distributed streaming system
Gary Marcus in conversation with Will Wilson
Why do so few buildings fall down?
Making high performance storage boring
Fast and fault-tolerant: pick two
Protocol-aware deterministic simulation testing
Now more than ever: building reliable software in the age of agents
Informal methods
From dams to data: how to think about infrastructure
Where all the ladders start
We won, what now?
When did the bug start?
Antithesis report: Tigris Data
What are skiplists good for?
Ep. 19
Why simple workloads find the hardest bugs
Ep. 18
Programming as an Act of Building Vocabulary
He thinks AI code may break everything
Antithesis skills for agents
Ep. 17
The Dollar Bet that Fuzzed Figma
Hypothesis, Antithesis, synthesis
A declarative restoration
Ep. 16
Symmathesy and the Agentic Era: Learning Systems in 2026
Ep. 15
From Scale to Rigor: An Engineering Journey at Meta and Oxide
A fighting retreat
Ep. 14
Escaping the Spaghetti: How to Test Untestable Codebases
Formal methods for the unsafe side of the Force
Ep. 13
How rr Became a Protected Species: A Story of Necessary Hacks
Catching a caching bug at Readyset
Ep. 12
Re-Designing Data-Intensive Applications: The Shift to Cloud-Native Storage
How we interfaced single-threaded C++ with multi-threaded Rust
Ep. 11
Hypothesis vs. hallucinations: Property testing AI-generated code
When your customer leads your Series A
Testing a single-node, single threaded, distributed system written in 1985
Ep. 10
From the Lab to Production: Making Cutting-Edge Testing Practical
Ep. 9
Ergonomics, reliability, durability
Antithesis launches Kubernetes support
They don't even have eyes
Ep. 8
No actually, you can property test your UI
Antithesis and the open source community
Did you get lucky or unlucky?
Ep. 7
Slow down to go fast: TDD in the age of AI with Clare Sudbery
Ep. 6
Fixing five "two-year" bugs per day
Obscure feature + obscure feature + obscure feature = bug
Ep. 5
No really, some bugs aren't real
Ep. 4
Every map is wrong, but we made one anyway
Optimizing our way through Metroid
Observability at scale
Ep. 3
Fail loudly, fail fast, fail in production
Reliability on the road
Ep. 2
Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS
Finding the cracks
Ep. 1
FoundationDB: from idea to Apple acquisition
What does AI testing done right look like?
Pre-observability
Why software keeps breaking and why AI isn't the shortcut
Testing 2.0 The Paradigm Shift to Full System Simulations
It's not recklessness, it's science
The soda war of software
Property Based Testing (PBT) Masterclass
Make the computers work
Nothing's untestable
Thinking has no replacement
Fix the new things first!
Finding a way to make on-call better
Adoption is a social problem
The pragmatic magic of semi-formal methods
How Antithesis lets Clément Salaün of Formance sleep soundly at night
Antithesis for founders
No power, no programs
Our own worst best customer
Hunting for one-in-a-million bugs in NATS
Depth is all you need: how Antithesis crushes Gradius
How to make your own luck
How much did Sony’s recent PlayStation Network outage cost?
An interview with Mark Logan, Tech Lead for Sui Core
Rolling for our new initiative: Test Composer
Introducing our reactive Notebook: the paradigm devs deserve.
Your computer can test better than you (and that's a good thing)
Crushing Castlevania with Antithesis
We gave $186,000 to the open source community
Debugging in the Multiverse
Software reliability, part 1: What is property-based testing?
In the labyrinth of unknown unknowns
The Testing Pyramid is upside-down
At the Mountains of Madness
An ounce of prevention is worth a pound of cure
Solving Zelda with the Antithesis SDK
The worst bug we faced at Antithesis
From zero to first bug
Working with Antithesis at MongoDB
How Antithesis finds bugs (with help from the Super Mario Bros.)
Antithesis announces Artificial General 8-bit Intelligence (AG8I)
So you think you want to write a deterministic hypervisor?
Announcing the Antithesis Open Source Giveaway Program
Is something bugging you?
Testing the Ethereum merge
Accelerating developers at MongoDB
get started
Velocity and verification. Finally, both.
Talk with one of our product experts to see how Antithesis can help
you ship confidently, no matter who’s writing your code.