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

More stories about the impact of AI-code on software. @mattsayar.com's smart, balanced take on @anthropic.com's security review in Claude Code. tinyurl.com/bdhjejtr And @sketch.dev's revealing, candid post about their first LLM-induced outage. tinyurl.com/53dvx2ae How do you know your code works?

More incredibly necessary, compelling work from the folks at @metr.org On the one hand this is a study about LLM output, on the other, it's a revealing statement about the inadequacies of conventional software testing. metr.org/blog/2025-08...

Even the most ardent fans of #formalmethods will tell you they take work to implement. Marc Brooker tells us how he made this happen at AWS. Listen now, on the #BugBash podcast: Youtube: youtu.be/UGdMf7tC25Y Spotify: open.spotify.com/show/5GtS7mZ... Apple: podcasts.apple.com/us/podcast/t...

#Bugbash is hitting the road! There are software reliability fans everywhere, so we're coming to the Bay Area with an event showcasing 3 in-depth talks on reliability, at Chroma's beautiful HQ in downtown SF. 2025-09-09. Space is limited, sign up at: lu.ma/vgehl2q3

If Waymo taxis have come to your town lately, Mike Curtiss' team is a big part of why. At #BugBash this year he shared some of the reliability strategies behind the software that's driven to the moon and back 4000 times (and counting). youtu.be/u0nzSSENQEo

Welcome to Antithesis: a Gold sponsor of #rustconf25! Support from sponsors like Antithesis helps the Rust Foundation put on an amazing event for the #rustlang community. Learn more about Antithesis @ antithesis.com/industries/d... & get ready to see them at #rustconf 🎉