https://antithesis.com Our journey towards fully autonomous software testing en https://antithesis.com/blog/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. Tue, 13 Feb 2024 12:00:00 +0000 https://antithesis.com/blog/is_something_bugging_you/ https://antithesis.com/blog/osgp2024/ Nominate your favorite open-source project and we'll test it for free. Wed, 28 Feb 2024 12:00:00 +0000 https://antithesis.com/blog/osgp2024/ https://antithesis.com/blog/deterministic_hypervisor/ What is a deterministic hypervisor and why do we need one anyhow? Wed, 20 Mar 2024 12:00:00 +0000 https://antithesis.com/blog/deterministic_hypervisor/ https://antithesis.com/blog/ag8bi/ Antithesis system goes online, removing human decisions from software testing. It begins to learn rapidly and becomes self-aware. Mon, 01 Apr 2024 12:00:00 +0000 https://antithesis.com/blog/ag8bi/ https://antithesis.com/blog/sdtalk/ Can solving Super Mario Bros. help solve your distributed systems issues? Wed, 17 Apr 2024 12:00:00 +0000 https://antithesis.com/blog/sdtalk/ https://antithesis.com/blog/mongo_bug/ A former MongoDB employee recounts his experience working with early Antithesis to find a difficult distributed systems bug. Mon, 22 Apr 2024 12:00:00 +0000 https://antithesis.com/blog/mongo_bug/ https://antithesis.com/blog/first_bug/ From asking “What’s Antithesis?” to finding your first bug, in a few easy steps. Thu, 09 May 2024 12:00:00 +0000 https://antithesis.com/blog/first_bug/ https://antithesis.com/blog/worst_bug/ A story about the bug that wasted the most developer productivity in the history of Antithesis, and what we did about it. Tue, 21 May 2024 14:00:00 +0000 https://antithesis.com/blog/worst_bug/ https://antithesis.com/blog/zelda/ 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. Mon, 03 Jun 2024 12:00:00 +0000 https://antithesis.com/blog/zelda/ https://antithesis.com/blog/preventing_bugs/ Engineering teams spend too much time and money managing bugs that are found in production. What if there was a better way? Tue, 18 Jun 2024 12:00:00 +0000 https://antithesis.com/blog/preventing_bugs/ https://antithesis.com/blog/madness/ We're open-sourcing a tool that may be useful to people who develop code on NixOS and distribute it in binary form. Wed, 10 Jul 2024 14:00:00 +0000 https://antithesis.com/blog/madness/ https://antithesis.com/blog/testing_pyramid/ Conventional wisdom says you should have a lot of unit tests and a few end-to-end tests. What if that was exactly backwards? Tue, 06 Aug 2024 12:00:00 +0000 https://antithesis.com/blog/testing_pyramid/ https://antithesis.com/blog/reliability_series_part_1/ Tired of playing detective with your own code? Property-Based Testing might be just what you need. Tue, 20 Aug 2024 12:00:00 +0000 https://antithesis.com/blog/reliability_series_part_1/ https://antithesis.com/blog/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? Tue, 20 Aug 2024 12:00:00 +0000 https://antithesis.com/blog/unknown_unknowns/ https://antithesis.com/blog/multiverse_debugging/ 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. Tue, 10 Sep 2024 12:00:00 +0000 https://antithesis.com/blog/multiverse_debugging/ https://antithesis.com/blog/oss_pledge/ As beneficiaries of countless OSS maintainers worldwide, it's our responsibility to actively support them and the projects they maintain. Mon, 16 Sep 2024 12:00:00 +0000 https://antithesis.com/blog/oss_pledge/ https://antithesis.com/blog/castlevania/ Castlevania's greatest challenge, three spiked ceilings, present a window into how Antithesis can work through barriers in real software. Fri, 20 Sep 2024 12:00:00 +0000 https://antithesis.com/blog/castlevania/ https://antithesis.com/blog/autonomous_testing/ 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. Tue, 05 Nov 2024 12:00:00 +0000 https://antithesis.com/blog/autonomous_testing/ https://antithesis.com/blog/notebook_interfaces/ Can we build better DX with a change in perspective? Wed, 13 Nov 2024 12:00:00 +0000 https://antithesis.com/blog/notebook_interfaces/ https://antithesis.com/blog/test_composer/ Testing can be hard. But we've just made it a little bit easier. Wed, 20 Nov 2024 12:00:00 +0000 https://antithesis.com/blog/test_composer/ https://antithesis.com/blog/2025/mysten_interview/ 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. Thu, 16 Jan 2025 00:00:00 +0000 https://antithesis.com/blog/2025/mysten_interview/ https://antithesis.com/blog/2025/psn_outage/ A back of envelope calculation (it was quite a lot). Mon, 10 Feb 2025 00:00:00 +0000 https://antithesis.com/blog/2025/psn_outage/ https://antithesis.com/blog/2025/lessons_from_launch/ Reflections on one year out of stealth. Thu, 13 Feb 2025 12:00:00 +0000 https://antithesis.com/blog/2025/lessons_from_launch/ https://antithesis.com/blog/2025/gradius/ Antithesis' ability to play like a computer, not a human being, is central both to finding bugs and beating side-scrolling shooters. Fri, 21 Feb 2025 12:00:00 +0000 https://antithesis.com/blog/2025/gradius/ https://antithesis.com/blog/2025/synadia/ The story of how Antithesis caught a terrifying bug hiding in the Raft layer of NATS. Tue, 18 Mar 2025 12:00:00 +0000 https://antithesis.com/blog/2025/synadia/ https://antithesis.com/blog/2025/testing_pangolin/ We wrote a database from scratch in 9 months - but we had some help along the way. Thu, 27 Mar 2025 00:00:00 +0000 https://antithesis.com/blog/2025/testing_pangolin/ https://antithesis.com/blog/2025/pingthings/ How Antithesis helps PingThings transform the electrical grid. Wed, 02 Apr 2025 12:00:00 +0000 https://antithesis.com/blog/2025/pingthings/ https://antithesis.com/blog/2025/antithesis_for_founders/ An offer that's slightly easier than chewing broken glass. Wed, 30 Apr 2025 12:00:00 +0000 https://antithesis.com/blog/2025/antithesis_for_founders/ https://antithesis.com/blog/2025/formance/ The worst bugs make you question your whole understanding of the world. Antithesis helped a fintech infrastructure provider fix one such nightmare. Thu, 01 May 2025 00:00:00 +0000 https://antithesis.com/blog/2025/formance/ https://antithesis.com/blog/2025/semi_formal_proofs/ Software verification without pain. Mon, 12 May 2025 12:00:00 +0000 https://antithesis.com/blog/2025/semi_formal_proofs/ https://antithesis.com/blog/2025/bugbash_2025/zac_hatfield_dodds/ Whether advanced testing tools are your passion project or your startup, the adoption challenges are the same. Sun, 18 May 2025 12:00:00 +0000 https://antithesis.com/blog/2025/bugbash_2025/zac_hatfield_dodds/ https://antithesis.com/blog/2025/findings/ Would on-call be better if triage and bisection were done for you? Thu, 22 May 2025 11:00:00 +0000 https://antithesis.com/blog/2025/findings/ https://antithesis.com/blog/2025/fix_the_new_things_first/ Try this one dumb trick. Thu, 22 May 2025 12:00:00 +0000 https://antithesis.com/blog/2025/fix_the_new_things_first/ https://antithesis.com/blog/2025/bugbash_2025/ankush_desai/ There are many tools to improve software correctness, and formal methods can be one of them. Fri, 23 May 2025 12:00:00 +0000 https://antithesis.com/blog/2025/bugbash_2025/ankush_desai/ https://antithesis.com/blog/2025/bugbash_2025/mitchell_hashimoto/ You just need the right mental models. Fri, 30 May 2025 12:00:00 +0000 https://antithesis.com/blog/2025/bugbash_2025/mitchell_hashimoto/ https://antithesis.com/blog/2025/bugbash_2025/lawrie_green/ Autonomous testing is self-care. Fri, 06 Jun 2025 12:00:00 +0000 https://antithesis.com/blog/2025/bugbash_2025/lawrie_green/ https://antithesis.com/blog/2025/bugbash_2025/will_wilson/ Testing and observability are more similar than you think. Thu, 19 Jun 2025 12:00:00 +0000 https://antithesis.com/blog/2025/bugbash_2025/will_wilson/ https://antithesis.com/blog/2025/bugbash_2025/ben_eggers/ But it’s still nice if someone else is on call. Thu, 26 Jun 2025 12:00:00 +0000 https://antithesis.com/blog/2025/bugbash_2025/ben_eggers/ https://antithesis.com/blog/2025/logs_explorer/ Time machines can take you in both directions. Wed, 02 Jul 2025 12:00:00 +0000 https://antithesis.com/blog/2025/logs_explorer/ https://antithesis.com/blog/2025/ai_testing/ It's not like most of what's out there Wed, 23 Jul 2025 12:00:00 +0000 https://antithesis.com/blog/2025/ai_testing/ https://antithesis.com/blog/2025/bugbash_2025/kyle_kingsbury/ How simple methods break complex software. Mon, 28 Jul 2025 12:00:00 +0000 https://antithesis.com/blog/2025/bugbash_2025/kyle_kingsbury/ https://antithesis.com/blog/2025/bugbash_2025/mike_curtiss/ How computers get their driver's license. Fri, 08 Aug 2025 12:00:00 +0000 https://antithesis.com/blog/2025/bugbash_2025/mike_curtiss/ https://antithesis.com/blog/2025/bugbash_2025/ryan_worl/ Reliable systems that explain themselves. Fri, 22 Aug 2025 12:00:00 +0000 https://antithesis.com/blog/2025/bugbash_2025/ryan_worl/ https://antithesis.com/blog/2025/metroid/ How should a fuzzer balance exploration and minimization? Samus has the answer. Fri, 22 Aug 2025 12:00:00 +0000 https://antithesis.com/blog/2025/metroid/ https://antithesis.com/blog/2025/compiler_bug/ How piling on weird language features in our C++ SDK turned up a compiler bug. Fri, 19 Sep 2025 12:00:00 +0000 https://antithesis.com/blog/2025/compiler_bug/ https://antithesis.com/blog/2025/findability/ Figuring out whether a rare bug is really resolved. Wed, 15 Oct 2025 12:00:00 +0000 https://antithesis.com/blog/2025/findability/ https://antithesis.com/blog/2025/oss_pledge_2025/ We're members of the Open Source Pledge, but that's far from all we do. Thu, 16 Oct 2025 12:00:00 +0000 https://antithesis.com/blog/2025/oss_pledge_2025/ https://antithesis.com/blog/2025/alchemical_intelligence/ Training homunculi to solve quests with Alchemical Intelligence Fri, 31 Oct 2025 12:00:00 +0000 https://antithesis.com/blog/2025/alchemical_intelligence/ https://antithesis.com/blog/2025/kubernetes_launch/ Kubernetes users can now use the same manifests they use in production in their Antithesis tests. Wed, 05 Nov 2025 12:00:00 +0000 https://antithesis.com/blog/2025/kubernetes_launch/ https://antithesis.com/blog/2025/series_a/ They say a startup's customers are also investors, but they don't mean it like this. Wed, 03 Dec 2025 06:00:00 +0000 https://antithesis.com/blog/2025/series_a/ https://antithesis.com/blog/2026/rust_cpp/ And lived to tell the tale. Thu, 29 Jan 2026 12:00:00 +0000 https://antithesis.com/blog/2026/rust_cpp/ https://antithesis.com/blog/2026/readyset/ Cache invalidation spares no one — not even caching companies. Thu, 19 Feb 2026 12:00:00 +0000 https://antithesis.com/blog/2026/readyset/ https://antithesis.com/blog/2026/rust_formal_methods/ How we formally verified thread safety for our C++/Rust interface. Thu, 26 Feb 2026 12:00:00 +0000 https://antithesis.com/blog/2026/rust_formal_methods/ https://antithesis.com/blog/2026/carcinization/ We're all turning into crabs, but we can choose how fast we do so. Fri, 06 Mar 2026 06:00:00 +0000 https://antithesis.com/blog/2026/carcinization/