Compelling session today by Marek Siarkowicz using Antithesis deterministic simulation to help improve #etcd robustness.

Today our CEO, Will Wilson, announced a partnership with @cncf.bsky.social to provide free reliability testing for Graduated and Incubating projects. Stop by booth 457 to learn more!

Hullo #Kubecon! Drop by and see us at booth 457 and enter our raffle to win this out-of-print NES Lego set! Perfect for filling the hours when you're waiting for your handwritten integration tests to run.

And if you're in the EU, come see us at #WebsummitLisbon (Booth 0402-48)! Max Jacobson is giving a keynote on the Developer Stage on Tuesday, and we'll have some awesome new continent-appropriate swag, perfect for the next football match where you just want both teams to deliver bug free software.

Hullo #Kubecon! We'll be at booth 457, talking about Nintendo games and the great work the @etcd team did with Antithesis this year. We'll have a few surprises we're keeping mum about for now, but we're proud to wear our love for open source distributed systems infrastructure on our sleeve!

Gonna keep the boring corporate announcement short. Antithesis now allows you to orchestrate with the same Helm chart you use in production. #kubernetes! Until a few weeks ago, you could only use docker-compose. It seems slightly silly to say, but it's true.

#Current25 NOLA by @confluent.io is kicking off right now! (Or maybe the party's still going from the night before.) Come see us at Booth 302 - if you don't know what you'd like on your arm, here are some suggestions from our tattoo artist extraordinaire!

If you've never gotten tattooed at a tech conference, you should come see us and at #Current25 in NOLA tomorrow and Thursday! We THINK they're temporary.

If you read one thing today, make it this blog post by our friends @fly.io. This is what tech writing should be like: witty, relatable, informative. Corrosion is a remarkable system, and we aren't just saying that because it was #TestedwithAntithesis. ❤️ y'all! fly.io/blog/corrosi...

We're not sure anyone's referred to the platform as "she" before but hey, we'll take it!

Our favorite online conference, P99, is kicking off right now! Our principal engineer, Alex Pshenichkin, will be speaking, along with friends from @tigerbeetle.com , @tur.so, @datadoghq.com, hosts @scylladb.com and more! www.p99conf.io

Field CTO @akshayshah.org and his cuddly, harmless anteaters are everywhere this month! This Thursday at 11ET, Akshay joins @devops.com.web.brid.gy to talk about facing down high risk projects. Real talk, and real lessons from his 20+ years as a backend engineer. Register below.

We know what you sickos want is a deep dive into the mathematical model used to determine if a bug has been fixed. Here it is (link in first comment).

And it's podcast day too! Here's @claresudbery.bsky.social talking about rigor in software engineering, test driven development, and how you should explain race conditions to your kids. Full episodes below.

New mascot day! Here's @akshayshah.org introducing our new mascot to a packed audience at @leaddev.com NYC. We're very sorry about what happened to the old mascot.

New York friends & reliability nerds! We'll be at #LeadDevNewYork and #StaffPlusNewYork this week, hosted by @leaddev.com Akshay Shah will be trotting out our new unofficial mascot, come say hi!

Come for the database poetry, stay for the pineapple shirt. Or is it the other way round? Kyle Kingsbury was on our podcast a few weeks ago with some hot takes on databases -- because what else are you gonna do on the weekend if not listen to a podcast about how databases break? Full ep below.

This is kicking off in 45 minutes! Take the vibes out of your engineering - LLMs might be non-deterministic, but that doesn't mean you have to let them introduce uncertainty into your code.

Vibe-engineering anyone? Simon Willison, @simonwillison.net here, just coined the term “vibe-engineering” – using LLMs to help write production code.

We're a week out from #DCSystems 011, and for the first time ever, we're in danger of running out of space. Force us to close registrations by signing up below! Tuesday October 14th. Speakers: ​Jacopo Tagliabue from @bauplan.bsky.social and Matt Butrovich from Apple

Will Wilson, @akshayshah.org and @chrispirillo.bsky.social will take an honest, multi-faceted -- and entertaining -- look at the thorniest issue in tech this Thursday at 1:30 ET. Registration link below.

"On average, each property-based test finds about 50 times as many [bugs] as the average unit test." From "An Empirical Evaluation of Property-Based Testing in Python" by Savitha Ravi and @mcoblenz.bsky.social at UCSD Link below.

It's podcast day! @joran.tigerbeetle.com is one of the very few people/companies out there who might be more fanatical about reliability than we are, and he's built @tigerbeetle.com accordingly.

Data streaming platforms are the jet engines of the internet. They make the whole thing go, they make the whole thing fast, and the reliability and correctness requirements are virtually in a class of their own.

Hello San Francisco! We're at the Data Streaming Summit #DSS today and tomorrow with StreamNative and a who's who of the data streaming industry. Lawrie and Connor take the stage at 3:45 tomorrow, here's Lawrie at BugBash, on the power of randomness in testing. Full video in the comments.

Code is infrastructure, and we're incredibly proud that the @cncf.bsky.social relies on Antithesis to ensure that the cloud is built on solid foundations. Link below.

We ⚙️ Nix beyond reason, so we're hosting a Nix/NixOS meetup at the office tomorrow! Come hang out with enthusiasts and experts. There'll be a big screen with an open mic Q&A -- work through problems together, meet the community, or just come and speak only in declarative statements! Link below.

Our team was in Toulouse yesterday, working with Amaru to help the @cardanofoundation.bsky.social community build a more reliable blockchain.

We asked two of our best engineers to try and teach Claude distributed systems programming, and it was... an interesting experience. Will and Akshay spill about this and other adventures with co-pilots on October 9th with the New Stack's @chrispirillo.bsky.social

Our favorite equation is: Obscure feature+obscure feature+obscure feature = Bug For your weekend reading, Michael Gibson writes about how we found a bug in the C++ compiler -- without using Antithesis. Link below, for the algorithm will not be denied.

This week's episode of the #BugBash podcast features @danslimmon.bsky.social on the relationship between quality and reliability, or, as he puts it, "when bugs aren't real." Some engineering philosophy for your evening commute. Links in thread.

How many people can really say they took a distributed database from 0 to 1? Stephanie Wang did just that with @duckdb.org, and came to #BugBash to share her experience. Full video in the thread.

Next #DCSystems is on Tuesday October 14th! Come see ​Jacopo Tagliabue from @bauplan.bsky.social speedrun data lakehouses 🏃🏃‍♂️🏃‍♀️ and Matt Butrovich from Apple taming the Linux kernel without modules or mailing lists 🦁🪑🎪 luma.com/s4orzid3

It's funny how things come full circle. We've found the venn diagram between vibecoding and formal methods. From the HN discussion of the latest vibecoding article to make the rounds.

Is AI code generation slowing your team down more than it's helping? 🤔 Join us on Oct 9 with @antithesis.com CEO Will Wilson and Field CTO @akshayshah.org to find out why and discover how to overcome the real roadblocks to productivity. Register for this free webinar now ➡️ bit.ly/Antithesis-A...

Developer Voices by @krisajenkins.bsky.social is one of our favorite podcasts at AntithesisHQ and he's just given our office metal band a name. While you wait for their first album to drop, perhaps you'd like to watch his interview with Will Wilson? Links below.

As of today, we're officially an @awscloud.bsky.social partner: aws.amazon.com/marketplace/... If you're building on AWS, (and why wouldn't you be?) you should definitely be thinking about reliability for distributed systems, and now you can pay for Antithesis testing with AWS committed spend.

Does doing events on both coasts on the same day make us a bicoastal company? If you're in DC, DC Systems 010 kicks off at 6pm and has just a few seats left! luma.com/fg0har8y If you're in SF, the BugBash Roadshow starts at 5:30PT! luma.com/vgehl2q3 If you've got a teleporter, you can do both!

Fast Company has a great (paywalled) look at the Great Vibecoding Climbdown. I'm a little confused though, because I was told that all the developers were going to be replaced by 3 months ago. www.fastcompany.com/91398622/the...

There's still time to come see us and our phenomenal tattoo artist Emma at #rustconf2025 today! Remember: tattoos you get at a tech conference don't really count against your limit.

Will went on one of our favorite podcasts, Complex Systems, to talk about how software testing happens today (and, because this is Complex Systems, a few other things too). We thought the ep was pretty great, and hope you will too! www.complexsystemspodcast.com/episodes/sof...

The #BugBash podcast is back, and this time we're talking to ‪@jepsen.mastodon.jepsen.io.ap.brid.gy‬ about the Distributed Systems Reliability Glossary. Listen now, on Youtube: youtu.be/2xh4kuRa_Rc Spotify: open.spotify.com/episode/0byH... or Apple podcasts: podcasts.apple.com/us/podcast/e...

It's one short week to the #BugBash roadshow in San Francisco, featuring in depth talks on the boundary between deterministic and non-deterministic systems, reliability for LLM applications, and more! Register at luma.com/vgehl2q3

Open Source is one person. This post by @josh.bressers.name is making the rounds, and for good reason. The world runs on #opensourcesoftware and open source is mostly run by under-resourced, under-appreciated volunteers who have a different full-time job. opensourcesecurity.io/2025/08-oss-...

One day, our visualization of how we explore software state spaces will be this good. youtu.be/YGLNyHd2w10

Systems folks, reliability nerds, bug hunters, all y'all: Bugbash is coming to the Bay Area with the first ever #BugBash Roadshow in exactly 2 weeks! Tuesday September 9, at the beautiful Chroma HQ in downtown SF. Space is limited, sign up at: lu.ma/vgehl2q3

Remember how our platform plays #Nintendo games in its spare time? That's our #fuzzer learning to bomb-jump in #Metroid. Will wrote the story in a real labor of love. Link in first comment. Happy Friday! antithesis.com/blog/2025/me...

#DCSystems returns on September 9th, with talks close to the metal and straight from the heart. Come hear from Amy Brown on developing FPGAs with Amaranth and Pytest, and Richard Hart giving 33 hot takes on systems programming (in under 22 minutes)! dcsystems.xyz

Formal methods aren't the only way to introduce rigor into your software design. @isaacvando.bsky.social is on Episode 3 of the #BugBash podcast to talk about how he's got his team at doing this by using assertions. Youtube: youtu.be/HFT_fr4f_nY

@teivah.dev over at The Coder Cafe did a deep dive on availability models inspired by the Distributed Systems Reliability Glossary. Highly recommended, and exactly the kind of investigation we hoped this would inspire! www.thecoder.cafe/p/availabili... antithesis.com/resources/re...