Apollo and Schnapps (making her social media debut!) are working very hard in preparation for BugBash.

Our blog post: antithesis.com/blog/2026/sk...

The paper: api.drum.lib.umd.edu/server/api/c...

We love how confidently the paper opens: "Skip lists are a probabilistic data structure that seem likely to supplant balanced trees as the implementation
method of choice for many applications." Predictions are hard!

BugBash is now completely sold out, so we can go back to our usual programming: nerdy blog posts about niche data structures.

@bill-pugh.bksy.social came up with skip lists at @univofmaryland.bsky.social in 1990, so UMD now provides our production database as well as half our engineering team.

Aw shucks.

BugBash 2026 A conference on extracting reliable software from the slop factory

bugbash.antithesis.com

Some opportunities you just can't turn down, like when @garymarcus.bsky.social wants to come talk about AI at BugBash.

Fewer than 20 tickets left, come catch his fireside chat with Will!

BugBash 2026 A conference on extracting reliable software from the slop factory

bugbash.antithesis.com

cacm.acm.org/news/how-nas...

Hey NASA! Nice testing regimen. =) Dunno how many bugs you hit, but determinism would make debugging faster next time.

Youtube: youtu.be/N-EiBO3YA5E
Spotify: open.spotify.com/episode/5yKz...
Apple podcasts: podcasts.apple.com/us/podcast/w...

Why simple workloads find the hardest bugs You hit 100% test coverage, deploy to production, and the system still falls over. An old story, maybe aside from the 100% coverage percent part. In this episode, David sits down with Marco Primi…

Youtube: youtu.be/N-EiBO3YA5E
Spotify: open.spotify.com/episode/5yKz...
Apple podcasts: podcasts.apple.com/us/podcast/w...

At Antithesis, we have a whole team of people whose mission is better reliability through better workloads. Here are two of them, going hard. We're all still friends here.

Season 2 of the BugBash podcast is a wrap! We're taking a break for BugBash (do you have your ticket yet?), see you in summer!

Another question we get a lot: "What should my workload do?"

Workloads are both surprisingly hard and surprisingly easy. You're basically writing a client for your system, but when you're testing, you maybe want a really nasty, godawful, difficult client, the kind you'd be happy to fire.

@luxas.dev

One lucky winner.

<10 seats remaining.

Our fastest growing social channel, if you measure by percentage rate... 🥲

"It may catch fire." And that's not even the really cool part.

Hegel A universal property-based testing protocol and family of libraries, built on Hypothesis

hegel.dev
Hegel-go: github.com/hegeldev/heg...

And other PBT tools for Go (that we're aware of!):

Testing/quick: pkg.go.dev/testing/quick
Rapid: github.com/flyingmutant...

Whether or not you're using one of these already, if you're working in Go on a project that might benefit from property-based testing, we hope you'll check out Hegel-go!

Go users are lucky enough to have a number of great PBT libraries to choose from already. Rapid is an excellent library, also based on Hypothesis, and there's also testing/quick, which is sadly in maintenance mode for the foreseeable future.

We're serious when we say "every language": we released Hegel-rust a couple of weeks ago, and Hegel-go is on available on github today.

Hegel is an open source property-based testing library for every language, based on, and brought to you by some of the folks behind Hypothesis -- the most widely-used, and arguably the best, property-based testing tool in the world today.

GitHub - hegeldev/hegel-skill: A skill for helping agents write Hegel tests A skill for helping agents write Hegel tests. Contribute to hegeldev/hegel-skill development by creating an account on GitHub.

github.com/hegeldev/heg...

Guess hegel-skill isn't a sekrit under-development project any more. Glad you liked it @sunshowers.io!

Programming as an act of building vocabulary Why do LLMs struggle to build complex architecture? According to Unmesh Joshi, Distinguished Engineer at ThoughtWorks, it often comes down to a lack of shared abstractions, of a shared…

Youtube: youtu.be/7g0vEFgcxu0
Spotify: open.spotify.com/episode/0Uqq...
Apple podcasts: podcasts.apple.com/us/podcast/p...

Unmesh talks about deterministic simulation testing not just as a testing tool but a teaching tool, and shares why a talk given in 1998 holds the secret to successfully collaborating with modern AI tools.

Why do LLMs struggle to build complex architecture?

Unmesh Joshi, Distinguished Engineer at ThoughtWorks, joins Will Wilson and David Wynn to talk about sharing abstractions with the machine.

There's also an all-expenses paid trip to BugBash on the cards for someone, because books (and testing tools!) aren't the only things we're giving away...
antithesis.com/promo/bugbash/

DDIA Giveaway Request a copy of DDIA 2nd Edition from Antithesis

antithesis.com/promo/ddia/
Youtube: youtu.be/UHdPnubbzBI
Spotify: open.spotify.com/episode/6ubY...
Apple podcasts: podcasts.apple.com/us/podcast/r...