iiinova — where your digital self keeps evolving

Few people have Don Syme's depth of perspective on the industry. Here he is talking about Github, CI, CD, and now continuous AI for the final talk of the day at Bug Bash Europe.

020

Antithesis @antithesis.com · 8h

An absolutely packed room for Anatoliy Bilenko and Alberto Carretero from Canonical as they talk about the correctness stack that enabled them to build their own database protocol at Bug Bash Europe.

000

Antithesis @antithesis.com · 10h

Now on stage at Bug Bash Europe -- Cate Huston on managing agent swarms and achieving velocity through rigor. "You shouldn't be thinking of bugs, you should be thinking of bug classes."

000

Antithesis @antithesis.com · 13h

Here's Will Schor of @netflixeng.bsky.social at Bug Bash Europe. "Time in production is one of the key ways we gain confidence in our code... but even after a long period of time you can still have latent bugs if you're not writing the right tests."

000

Antithesis @antithesis.com · 14h

Bug Bash Europe kicking off with Prof. Sophia Drossopoulou!

010

Antithesis @antithesis.com · 29/09/2026

Datadog's Event Platform team have been rebuilding the pipelines that bring customer data into their platform with Antithesis' help.

153

Reposted by Antithesis

CMU Database Group @db.cs.cmu.edu · 28/09/2026

Today's "Andy at Sea" Database Seminar Speaker: Marco Primi will discuss how @antithesis.com automatically finds bugs in database systems (aka the most important software in the world). Public Zoom talk at 4:30pm ET. YouTube video available after: db.cs.cmu.edu/events/andy-...

db.cs.cmu.edu

[Andy at Sea] Everything Has Bugs. Here’s How Antithesis Catches Them. - Carnegie Mellon Database Group

Programs used to run on a single computer start to end. Today... Read More +

072

Antithesis @antithesis.com · 25/09/2026

Mutation testing is a powerful technique that essentially lets you test your testing. Historically, it's been extremely difficult to mutation test test suites for distributed systems -- we've just solved that with a new Antithesis agent skill that creates deep distributed system bugs.

antithesis.com

Why we taught agents to break distributed safety properties | Antithesis

Using mutation testing to validate AI-generated test suites for distributed systems.

100

Antithesis @antithesis.com · 24/09/2026

On the Bug Bash podcast this week, Anjana Rajan and Jonathan Ring from Atalanta join us to talk about moving formal methods out of the lab and into nuclear reactors, space missions, and other real world settings where failure is not an option.

youtu.be

Stop Talking About Formal Methods

For decades, formal methods were considered theoretical exercises locked in academic labs—too brittle, complicated, and expensive for most production software. But as vital systems and AI-driven…

120

Antithesis @antithesis.com · 24/09/2026

Paying too much for observability? Save on your log storage with a time machine. Not joking: antithesis.com/blog/2026/re...

antithesis.com

Free log storage with a time machine | Antithesis

Send all your logs into a black hole -- then pull them out again!

010

Antithesis @antithesis.com · 24/09/2026

Too many events season, here's a summary of where you can find us over the next couple of weeks! Online, everywhere on earth: Monday 09-28, 1630 EDT: Marco Primi runs a deep primer on distributed systems testing at @andypavlo.bsky.social's seminar. db.cs.cmu.edu/seminars/fal...

db.cs.cmu.edu

[Andy at Sea] Everything Has Bugs. Here’s How Antithesis Catches Them. - Carnegie Mellon Database Group

Programs used to run on a single computer start to end. Today... Read More +

110

Antithesis @antithesis.com · 23/09/2026

Next week Bug Bash crosses the Atlantic! We're in Copenhagen for Bug Bash Europe on 30 Sep alongside GOTO CPH, along with speakers from Pony, Github, Netflix, Canonical, and Fly. Come for the talks, stay for the hallway track. antithesis.com/bugbash/euro...

100

Antithesis @antithesis.com · 22/09/2026

We Are Developers is in San Jose this week, and our own @akshayshah.org is on a panel Thursday: "The New Rules of Software Delivery," alongside Moritz Plassnig (CloudBees), AJ Aitken (Datavant), Prince Kohli (Sauce Labs), and @darko.rup12.net (@awscloud.bsky.social).

100

Antithesis @antithesis.com · 17/09/2026

In a classic engineering origin story, former NCAR oceanographer @deepakcherian.bsky.social got frustrated with his tools and spent the last 3 years at @earthmover.io, building Icechunk, an open-source, cloud-native transactional tensor storage engine

120

Antithesis @antithesis.com · 16/09/2026

This Thursday, find out what duckpin bowling and deterministic simulation have in common... or just learn what both of those things are! Join Antithesis and @awscloud.bsky.social at Pins Mechanical Co. in Austin. 5pm, cowboy hats optional. Register at: luma.com/izwdpa6e See y'all there!

luma.com

Building Resilient Systems in the Age of Agentic Development With Antithesis + AWS · Luma

AI coding has fundamentally changed how software is written and improvements are real. Tools like Claude Code and Cursor speed up developer velocity and change…

220

Antithesis @antithesis.com · 15/09/2026

@gergely.pragmaticengineer.com, will be giving away signed copies of his modern classic, "The Software Engineer's Guidebook," at our booth at @leaddev.com NYC today, from 4:30-6:30. Come get one to go with your I ❤️ Slop shirt!

010

Antithesis @antithesis.com · 15/09/2026

Come get your We ❤️ Slop shirt at @leaddev.com NYC -- we're at booth 403 -Forbidden. And if you want to learn how to figure out your system's invariants, we've got three workshops by @seantallen.bsky.social: 1:45pm today, or tomorrow at 9:20 and 3:05.

030

Antithesis @antithesis.com · 10/09/2026

Hullo New York! If you're at @leaddev.com's LDX3 next week, come hang with us and @gergely.pragmaticengineer.com, the Pragmatic Engineer! We're proud sponsors of his podcast this season, and he'll be hanging out at our booth #403: Tues 4:30–6:30pm Weds 1:00–2:00pm

blog.pragmaticengineer.com

Books

I have published four books, the latest one (and the one I wrote for the longest, four years) is The Software Engineer's Guidebook: The Software Engineer's Guidebook Navigating senior, tech lead,…

110

Antithesis @antithesis.com · 03/09/2026

DC Systems for September is next Tuesday, September 8! Come see Tom Barber talk about Killing the Cluster: Replacing Spark with Polars in a Pipeline That Ships to Places You Can't SSH Into and Stephen Goguen tell you Why You Should Reinvent Enumerative Property-Based Testing luma.com/367gihfe

luma.com

DC Systems 2026-09 · Luma

https://dcsystems.xyz/ DC Systems is an independent tech talk series focused on systems programming here in DC and the broader DMV area. We're focused on high…

111

Antithesis @antithesis.com · 02/09/2026

Ready to go bug-bowling? Last time, ping pong, this time, STTTTTRRRIIIIIIIIKKKKKKEEEEEE! Tech talks and pins falling, coming soon to Denver, CO (Weds 16 Sep) and Austin, TX (Thu 17 Sep) See you there! Denver: luma.com/37jv0kia Austin: luma.com/izwdpa6e

luma.com

Building Resilient Systems in the Age of Agentic Development · Luma

AI coding has fundamentally changed how software is written and improvements are real. Tools like Claude Code and Cursor speed up developer velocity and change…

000

Antithesis @antithesis.com · 01/09/2026

Bonjour Montréal! If you're at RustConf next week, come find us at the Museum of Illusions for a wrap party on Thursday 10th! Organized with our friends at Eden and Lawrence Harvey, we promise not to re-enact "A Night at the Museum". luma.com/cg78zbod

luma.com

RustConf Wrap-Up Party · Luma

Bienvenue à RustConf 2026 ! We can't think of a better way to celebrate the tenth anniversary of RustConf than by taking over the entire Museum of Illusions…

000

Antithesis @antithesis.com · 26/08/2026

Behind every catastrophic system failure is a team of stressed-out people trying to fix it. Launched in 2021, the Downtime Project dissected post-mortems from major outages. Youtube: youtu.be/vYuZz7mrzd4 Spotify: open.spotify.com/episode/1W7L... Apple Podcasts: podcasts.apple.com/us/podcast/t...

youtu.be

The People Behind the Hamsters and Other Stories of Downtime

Behind every catastrophic system failure is a room full of stressed-out people trying to fix it. Launched in 2021, the Downtime Project was a podcast run by two seasoned distributed system engineers,…

100

Antithesis @antithesis.com · 25/08/2026

Sometimes you just gotta make it bigger. The Designing Ultra-Large Scale Systems study group is one of the geekiest places on the internet. We're joining them on Weds 16 Sep to talk about a first principles approach to writing fewer bugs. luma.com/pi2avdmy

luma.com

Antithesis: First-Principles Approaches to Testing Ultra-Large State Spaces · Luma

Marcus Hodgson from Antithesis will lead this exciting session on Deterministic Simulation Testing! This session starts with a foundational question that…

020

Antithesis @antithesis.com · 25/08/2026

DC Systems for September 2026 will be on 8 Sep at 6pm. Tom Barber will talk about Killing the Cluster: Replacing Spark with Polars in a Pipeline That Ships to Places You Can't SSH Into Stephen Goguen will tell you Why You Should Reinvent Enumerative Property-Based Testing luma.com/367gihfe

luma.com

DC Systems 2026-09 · Luma

https://dcsystems.xyz/ DC Systems is an independent tech talk series focused on systems programming here in DC and the broader DMV area. We're focused on high…

000

Antithesis @antithesis.com · 20/08/2026

Every research team runs down some long dark alleys of the soul. Here's Serdar Benderli, our Research team manager, talking about some of the failure modes he's/we've seen -- hopefully this blog post saves yours from a few. antithesis.com/blog/2026/wa...

antithesis.com

Ways research teams fail | Antithesis

A taxonomy of failure modes for research groups.

000

Antithesis @antithesis.com · 19/08/2026

@f0a.org and David Wynn sat down with Philip O'Toole, creator of rqlite, to talk about how he compressed his typical 18-month release cycle down to just 6 months, by combining AI tooling with a design strategy centered on testing. youtu.be/pIv0MeKzYxQ

youtu.be

From 18 months to 6: High-velocity database engineering

In this episode, Carl Sverre and David Wynn sit down with Philip O'Toole, creator of rqlite. We dive into his philosophy of using tests as a core design strategy, his tactical advice for turning AI…

240

Antithesis @antithesis.com · 18/08/2026

Along with AWS, we brought some of the sharpest thinkers on systems resilience together for a meetup in NYC. The talks made for quite the playlist: www.youtube.com/playlist?lis...

youtube.com

AWS x Antithesis Resilience Meetup NYC

Talks and sessions from the May 2026 Resilience Meetup, co-hosted by AWS and Antithesis in NYC

100

Antithesis @antithesis.com · 13/08/2026

If you've heard about PBT and want to learn more, we just published a 30-minute introductory video with hands-on exercises that helps you develop an intuition for what PBT is and how to implement it, in collaboration with @keles.bsky.social, and @cmuctp.bsky.social antithesis.com/resources/vi...

antithesis.com

Introduction to property-based testing | Antithesis

Led by Alperen Keles, Ph.D. (now Senior Software Engineer at Datadog), the course is structured in four chapters covering the fundamentals of testing vocabulary, property specifications, random…

171

Antithesis @antithesis.com · 13/08/2026

Hullo San Francisco! If we put enough developers and enough tables in a room, will the rally just be resilient on its own? We're gonna find out at SPIN San Francisco on Thursday 27 August, with our friends at Amazon Web Services (AWS)! Register 👉 luma.com/antith-f2e9

luma.com

Building Resilient Systems in the Age of Agentic Development · Luma

AI coding has fundamentally changed how software is written and improvements are real. Tools like Claude Code and Cursor speed up developer velocity and change…

100

Antithesis @antithesis.com · 12/08/2026

What happens when your open source library changes millions of lives? To kick off season 3 of the Bug Bash podcast, we sit down with @drmaciver.bsky.social, Zac Hatfield-Dodds, and Liam DeVoe — three generations of Hypothesis maintainers, the PBT library used by ~5% of all Python devs.

141

Antithesis @antithesis.com · 11/08/2026

Only a few hundred developers have ever built a deterministic simulation testing rig, and of those, vanishingly few have used both a homegrown system and Antithesis. youtu.be/PbCo59hLcFo

youtu.be

Deterministic simulation testing: Build or buy?

YouTube video by Antithesis

100

Antithesis @antithesis.com · 10/08/2026

Hullo San Diego! No ping pong tables in La Jolla this time (we checked) — but the bugs still don't find themselves, so we're bringing the talks to you anyway. Join us at the San Diego Marriott La Jolla on Tuesday 8/25. Register 👉 luma.com/gs7kiwq3

luma.com

Building Resilient Systems in the Age of Agentic Development with Antithesis and AWS · Luma

AI coding has fundamentally changed how software is written and improvements are real. Tools like Claude Code and Cursor speed up developer velocity and change…

130

Antithesis @antithesis.com · 06/08/2026

Raman Gupta is a Home Assistant maintainer and joined Antithesis as a product manager two weeks ago, so guess what open source software is about to get better. Four bugs on his first run, including a couple of issues previously closed due to inability to repro.

github.com

Roll back the session before retrying recorder queries by raman325 · Pull Request #178204 · home-assistant/core

Proposed change Problem When the recorder loses its database connection during a read query (database restart, dropped network link), the retry loop that exists for exactly this case can never succ...

110

Antithesis @antithesis.com · 05/08/2026

Dave Wynn walked around with a microphone at Bug Bash 2026, and 11 developers shared their war stories about the most interesting bugs they've encountered and resolved. Youtube: youtu.be/fVSMrEIrVR8 Spotify: creators.spotify.com/pod/profile/... Apple: podcasts.apple.com/us/podcast/d...

youtu.be

Dev in the street: The most interesting bug you've squashed

In this episode of the Bug Bash podcast, host David Wynn shares a collection of conversations recorded at Bug Bash 2026. 11 developers share their war stories about the most interesting bugs they've…

100

Antithesis @antithesis.com · 05/08/2026

This is probably fine. See you at @Gophercon.com!

000

Antithesis @antithesis.com · 04/08/2026

Your team IS deploying while you're at @Gophercon.com, right?

010

Antithesis @antithesis.com · 03/08/2026

Hullo @Gophercon.com! See y'all this week? Your agent really did say it was fine.

000

Antithesis @antithesis.com · 03/08/2026

A large customer just found a bug without even running a test. They ran our research skill against their codebase, and sure enough... "This is like black magic," they said. The skills are free, open-source, and work outside Antithesis. github.com/antithesishq...

github.com

GitHub - antithesishq/antithesis-skills: AI Skills for Antithesis Users

AI Skills for Antithesis Users. Contribute to antithesishq/antithesis-skills development by creating an account on GitHub.

070

Antithesis @antithesis.com · 31/07/2026

Just fuzz your UI already, like uzaaft.me did.

010

Antithesis @antithesis.com · 30/07/2026

Hullo Seattle! We haven't tried to fuzz Pong yet, but with enough developers and enough ping pong tables... Join us for tech talks and ping pong at SPIN Seattle on 13 Aug. luma.com/antith-5hm8

110

Antithesis @antithesis.com · 29/07/2026

"Rows, Columns, and Consequences" might not be the biggest or most famous conference we've spoken at, but it's certainly got the best name. Shomik Ghose was there to talk about building Pangolin, a production database that 3 engineers shipped in just 14 months. www.youtube.com/watch?v=oDV6...

youtube.com

How three engineers at Antithesis shipped a production database in 14 months - safely!

Should you ever build your own database? Conventional wisdom says "no"—building a reliable database is hard, and decades of engineering have gone into making general-purpose systems trustworthy. But…

080

Antithesis @antithesis.com · 27/07/2026

We've been testing Raft implementations, and have found bugs in every implementation we've tested. Here's an in-depth report on one set of issues.

2203

Antithesis @antithesis.com · 22/07/2026

We 🐡🐡🐡 exe.dev -- simple, effective, fast. If you've noticed improvements in our user experience over the last 6 months, they were accelerated by how simple exe.dev made things.

exe.dev

exe.dev - ssh exe.dev

Build apps or SSH into a persistent Linux VM. ssh exe.dev.

0102