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 · 14h

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 · 15h

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 · 19h

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 · 20h

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

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

DC Systems 017 will happen on Tuesday 2026-08-11. 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 quality talks and expert speakers. Talks about engineering, not product pitches.

100

Antithesis @antithesis.com · 22/07/2026

We test our software with both Antithesis and Hegel. Hegel is open source and free to use, and you too should make your Hegel tests concurrent.

140

Antithesis @antithesis.com · 21/07/2026

Bug Bash is a conference for people who care deeply about building reliable systems, where you can have the kinds of technical conversations that are hard to get from a typical conference.

261

Antithesis @antithesis.com · 21/07/2026

Hullo London! Three (3) seats left for Rust London this Thursday, 6:30pm in Finsbury Square. Nikita Lapkov from Cloudflare on Cloudflare's ingestion layer (Rusty under the hood), and Ethan Lowman from Antithesis will talk about dogfooding on our own production DB. Fill this up! Link below.

100

Antithesis @antithesis.com · 20/07/2026

Hullo San Francisco! What are you doing this Thursday after work?

100

Antithesis @antithesis.com · 16/07/2026

Wrapped day one at Software Should Work. We wish more software conferences were like this, small, optimistic, focused on craft, full of heart. Some highlights: Stylish venue. Testing legend. Someone who thinks it's fun to run a company on Nix. Thanks @isaacvando.bsky.social!

010

Antithesis @antithesis.com · 16/07/2026

We are not actually imperialistic, but we ARE "taking over" Rust London next week! Join us at in Finsbury Square at 6:30pm next Thursday, 23 July.

120

Antithesis @antithesis.com · 14/07/2026

Today we’re releasing Hegel for OCaml. Hegel is a family of PBT libraries based on Hypothesis, providing powerful, ergonomic property-based testing for many different languages. Hegel lets you declare data generation inline with your test code, and provides native support for stateful testing.

1265

Antithesis @antithesis.com · 13/07/2026

DC Systems is tomorrow! Jarred Nicholls will be telling us what all engineers can learn from HFT and Samarth Kishor will be talking about static analysis as a proof tool We're almost out of room, RSVP below.

140

Antithesis @antithesis.com · 09/07/2026

Hallo Berlin! Max in conversation at the We Are Developers World Congress tomorrow at 09:40H! So how do you get all those Claude prototypes into production?

100

Antithesis @antithesis.com · 02/07/2026

Long weekend, long read. One developer. One fuzzer. Squillions of blocks. An odyssey. Поехали!

141

Antithesis @antithesis.com · 02/07/2026

Assuming I understand your question correctly: Since we control the branching, we wrote our own tree view that you can zoom in on and debug further, e.g.

110

Antithesis @antithesis.com · 01/07/2026

Something's going on in Singapore. No one seems worried that Claude will take their jobs. Will was at the NUS Fuzzing Summer School last month, speaking with Dr. Leslie Teo from AI Singapore about the role of the human engineer in the age of AI. Full video below.

120

Antithesis @antithesis.com · 30/06/2026

Trust, but verify: It's good advice when working with humans, and it's essential to getting reliable, high-quality code from your agents.

100

Antithesis @antithesis.com · 29/06/2026

AWS Summit DC starts tomorrow! Here's the fuzzer beating a Kaizo ROM hack of Mario, come see it play live at the Walter E. Washington Convention Center, tomorrow/weds, and ask us how it works! Sadly we can't bring the cats.

020

Antithesis @antithesis.com · 28/06/2026

Happy Sunday! One of the lesser-discussed benefits of working at Antithesis is the copious amounts of cat pictures posted internally, once described as an “elite fringe benefit of working here.” Would you like to have this benefit (and more)? We’re hiring! antithesis.com/company/care...

190

Antithesis @antithesis.com · 26/06/2026

Latest DC Systems videos are now online! You know you want to spend your weekend rewiring a 1980s credit card terminal. John Sutley shows you how. And those things don't have a lot of computing power, so you'll need to watch Mikail Khan's talk for some deep ideas on how to optimize your program.

100

Antithesis @antithesis.com · 17/06/2026

Hey New York! See you at the Javits today for the @awscloud.bsky.social Summit! Notice anything? 😃

010

Antithesis @antithesis.com · 15/06/2026

See you at AWS Summit NYC on Wednesday! Last year AWS brought Will out on a rooftop to get this portrait for their blog... We 🩶 the bare metal instances and told them all about it in a video interview (link below). This year you can catch us at booth 137 at the Javits. See you there!

100

Antithesis @antithesis.com · 11/06/2026

Hot from the pot: Hegel Java. Up next, Hegel Starbux.

120

Antithesis @antithesis.com · 11/06/2026

From Chaos Engineering, by Casey Rosenthal & Nora Jones: (1/8)

100

Antithesis @antithesis.com · 05/06/2026

There's still time to catch us at Craft Conf in Budapest today! Especially in the industry we have today, it's fantastic to be in a hall filled with people who really care about code. Come find one of these find folks on the floor.

020

Antithesis @antithesis.com · 04/06/2026

DC Systems returns next week! John Sutley will be Retrocomputing On The Cheap: Reverse Engineering The Zon JR XL and Mikail Khan will be Summoning Control from the void in a Graph IR

100

Antithesis @antithesis.com · 03/06/2026

And if you missed Will's talk in Bengaluru, we're coming by again next week. Shomik Ghose will be talking about how we wrote our own custom production DB in 14 months at the Rootconf Special Edition on Databases on Sat June 13, tickets below.

100

Antithesis @antithesis.com · 03/06/2026

Hullo Bengaluru! We had such a fabulous time at the Bengaluru systems group meetup last month, when Will got to chat with amodm.bsky.social from Pre6 about correctness in AI-accelerated systems engineering. Thanks for hosting, and for the most incredible staging we've ever seen at a meetup!

030

Antithesis @antithesis.com · 27/05/2026

We're honored to be included in Redpoint's 2026 InfraRed 100, alongside the infrastructure and AI companies building the future of software. www.redpoint.com/infrared/rep...

040

Antithesis @antithesis.com · 19/05/2026

Consensus protocols like Raft and Paxos are a fundamental building blocks in thousands of modern distributed systems, so implementing consensus is a totally straightforward, drop-in operation by now. Right? Right?

161

Antithesis @antithesis.com · 14/05/2026

Keynotes from Bug Bash 2026 are now live! AI was everywhere, but so were different visions of how we as developers can/should live with it. Worlds driven by formal specs, worlds in which AI is infrastructure, worlds in which AI finally, actually writes good code.

140

Antithesis @antithesis.com · 13/05/2026

Instant classic? Maybe. Deranged? Sure!

110

Antithesis @antithesis.com · 13/05/2026

Will's talk at Papers We Love SF is now live. Can't ask for a better intro than what he wrote. Link, and a taster, below.

110

Antithesis @antithesis.com · 12/05/2026

Remember that bug that cost you three days? Or was it a week? What if we could just tell you why it was happening?

162