Antithesis

youtube.comThe Agentic Automation Revolution • Don Syme • Bug Bash EU 2026This presentation was recorded at Bug Bash EU 2026. https://antithesis.com/bugbash/europe/2026/ Don Syme - Distinguished Engineer at GitHub, Designer of F# & Co-Creator of GitHub Agentic…

Videos from Bug Bash Europe are starting to drop. First up, Don Syme, designer of F# and co-originator of async/await, on the shift to agentic automation in software development, and what it means for the way we build and maintain code. www.youtube.com/watch?v=8ujA...

Antithesis reposted

Oskar Wickström

@wickstrom.tech

Bombadil 0.7.10 is out, supporting a new parallel `fuzz` runner and `shrink` for minimizing traces with violations. github.com/antithesishq...

This is actually how the Determinator works.

NSG's Gallery@nsgsgallery.bsky.social

We've made a completely insane breakthrough on state space exploration, and we want to test how far it goes. What computer game would you be most impressed to see Antithesis beat on its own?

youtube.comHermetically Sealed Box Of Pain - Carl SverreFrom Software You Can Love Vancouver 2026 https://softwareyoucan.love

The gom jabbar, but for distributed systems. Antithesis head zealot Carl Sverre on how you get from QuickCheck to deterministic simulation testing, a.k.a. making computers fight for their lives in a hermetically sealed box of pain. www.youtube.com/watch?v=L0p3...

pages.antithesis.comProduct demo | Verifying that AI-developed software actually worksOctober 20, 2026 at 9 am PT/12 pm ET

The Antithesis webinar program kicks off this month, here's where you can find us over the next couple of weeks!

pages.antithesis.comWebinar | Intro to Property-Based TestingWrite less code, get better coverage, and catch bugs you didn't anticipate with this powerful approach to software testing.

Aimed squarely at CRUD apps. Hillel explains this stuff better than anyone, so bring questions. Registrants get the recording, so sign up even if you can't make it live. pages.antithesis.com/webinar-prop...

events.linuxfoundation.orgRegister | AGNTCon + MCPCon North America: The AI Agents ConferenceRegister Now! *Late Pricing of $925 begins October 8, 2026 Register Now! Register Now! The registration deadline is 11:59 PM Eastern Time on the respective date. 25% Group Discount: Purchase 10+…

US: Thu 10-22 – Fri 10-23: We're a silver sponsor of @aaif.io's AGNTCon + MCPCon North America in San Jose. The booth is open Thursday 9:55am–8pm and Friday 10:05am–3:05pm. Come find us and watch Antithesis beat 2048! events.linuxfoundation.org/agntcon-mcpc...

pages.antithesis.comProduct demo | Verifying that AI-developed software actually worksOctober 20, 2026 at 9 am PT/12 pm ET

The Antithesis webinar program kicks off this month, here's where you can find us over the next couple of weeks!

pages.antithesis.comProduct demo | Verifying that AI-developed software actually worksOctober 20, 2026 at 9 am PT/12 pm ET

Online, everywhere on earth: Tuesday 10-20, 1200 EDT: Our first-ever online demo! If you've been curious how Antithesis looks and feels (and works!), this is the one to register for. pages.antithesis.com/live-product...

pages.antithesis.comWebinar | Intro to Property-Based TestingWrite less code, get better coverage, and catch bugs you didn't anticipate with this powerful approach to software testing.

Thursday 10-29, 1200 EDT: @hillelwayne.com introduces property-based testing for web applications: system properties and data invariants, and where property testing fits in your overall strategy.

pages.antithesis.comProduct demo | Verifying that AI-developed software actually worksOctober 20, 2026 at 9 am PT/12 pm ET

Mid-October and the calendar is full, here's where you can find us over the next couple of weeks! Online: Tuesday 10-20, 1200 EDT: Our first-ever online demo! If you've been curious how Antithesis looks and feels (and works!), this is the one to register for. pages.antithesis.com/live-product...

Thu 10-22 – Fri 10-23: We're a silver sponsor of @aaif.io's AGNTCon + MCPCon North America in San Jose, two days on agentic engineering, MCP, evals, and the infrastructure behind production agents. Come find our booth and watch Antithesis beat 2048! events.linuxfoundation.org/agntcon-mcpc...

eurorust.euEuroRust 2026, Barcelona & onlineEuroRust 2026 is a conference for the European Rust community, held in Barcelona and online from October 14 to 17, 2026.

Europe & UK: Thu 10-15 – Fri 10-16: We're sponsoring @eurorust.eu in Barcelona, so come find our booth between talks. No talk from us this time, just two days of Rust and a beach party on the 15th. eurorust.eu Tickets: www.tickettailor.com/events/euror...

pages.antithesis.comProduct demo | Verifying that AI-developed software actually worksOctober 20, 2026 at 9 am PT/12 pm ET

chicago.aitinkerers.orgAI Tinkerers Chicago: October Meetup ft Antithesis [AI Tinkerers - Chicago]Join us for the October AI Tinkerers Chicago meetup with special guest Antithesis.

US: Tue 10-13: Ashvin Pai gives the partner talk at AI Tinkerers Chicago at 6:00pm. It's a hands-on builders' meetup with live demos and no pitches, so expect real code. Attendance is curated, so apply early. chicago.aitinkerers.org/p/ai-tinkere...

youtu.beRetrofitting Proofs onto Existing Rust CodebasesIn this episode we sit down with Jay Lorch and Chris Hawblitzel from Microsoft Research, along with Sr Engineer Shuxian Wang from Antithesis, all to talk about Verus. We break down how to retrofit…

Verus is a formal verification tool for code written in Rust. It's one of the most exciting directions in formal methods today, because it checks the executable code, not just a specification. (Our recent blog post explains why this matters!)

Jay Lorch and Chris Hawblitzel at Microsoft Research are two of the central contributors to Verus, and they join us today to wrap up this season of the Bug Bash podcast. They spoke to Shuxian Wang about how Verus works, how it was built, and, of course, what LLMs will do for formal methods.

Youtube: youtu.be/GwdYYndItvw Spotify: open.spotify.com/episode/6Kp3... Blog: antithesis.com/blog/2026/fi...

If you're at SPLASH-ISSTA this week, we are too, and we'd love to see you. Research Fellow Rohan Padhye will talk about what academia can learn from leading edge industry testing techniques on Wednesday at 1330h, and it's going to be a banger!

leaddev.comClose the maintenance gap AI createdTurning velocity into durable delivery.

Conference season is in full swing, here's where you can find us over the next two weeks!

fstech.co.ukFStech - Future AI FinservPlease note: Places at this event are free for regulated financial institutions and insurance companies. Companies that provide services, solutions or technologies to the financial sector are subject…

Europe & UK: Tue 10-06: Adi Pidaparti at FStech's Future of AI in Financial Services in London with "Having Your Cake and Eating It Too: How To Test Software in the Age of AI Development." www.fstech.co.uk/futureai-fin...

eurorust.euEuroRust 2026, Barcelona & onlineEuroRust 2026 is a conference for the European Rust community, held in Barcelona and online from October 14 to 17, 2026.

Thu 10-15 – Fri 10-16: We're sponsoring @eurorust.eu in Barcelona, so come find our booth between talks. No talk from us this time, just two days of Rust and a beach party on the 15th. eurorust.eu Tickets: www.tickettailor.com/events/euror...

leaddev.comClose the maintenance gap AI createdTurning velocity into durable delivery.

Conference season is in full swing, here's where you can find us over the next two weeks!

softwareyoucanlove.caHermetically Sealed Box of Pain by Carl SverreThis talk starts with classic property testing and scales the idea all the way up to Deterministic Simulation Testing (DST): controlling time, scheduling, crashes, retries, and randomness so entire…

On Monday at 2:00pm, @f0a.org presents "Hermetically Sealed Box of Pain," starting with classic property testing and scaling all the way up to deterministic simulation. Come for the property testing, stay for the pain. softwareyoucanlove.ca/talks/hermet... Tickets: softwareyoucanlove.ca/tickets/

chicago.aitinkerers.orgAI Tinkerers Chicago: October Meetup ft Antithesis [AI Tinkerers - Chicago]Join us for the October AI Tinkerers Chicago meetup with special guest Antithesis.

Tue 10-13: Ashvin Pai gives the partner talk at AI Tinkerers Chicago, doors at 5:30pm, talk at 6:00pm. It's a hands-on builders' meetup with live demos and no pitches, so expect real code. Attendance is curated, so apply early. chicago.aitinkerers.org/p/ai-tinkere...

leaddev.comClose the maintenance gap AI createdTurning velocity into durable delivery.

Conference season is in full swing, here's where you can find us over the next two weeks!

leaddev.comClose the maintenance gap AI createdTurning velocity into durable delivery.

Online, everywhere on earth: Wednesday 10-07, 1100 EDT: @seantallen.bsky.social joins Behn Williams and Elvira Khamsin on a @leaddev.com panel, "Close the maintenance gap AI created," moderated by Sal Kimmich. 39% of AI-generated code gets rewritten within two weeks. leaddev.com/event/how-to...

US & Canada: Sat 10-03 – Tue 10-06: Software You Can Love comes to Vancouver, and we're sponsoring the speaker dinner and Tables Day on Sunday.

youtu.beBeyond Academic Proof: Scaling Provable Correctness in ProductionMany elegant theoretical proofs exist for distributed systems, but local hardware and production realities rarely play by the rules. Today, we're joined by UIUC professors Ram Alagappan and…

Many elegant theoretical proofs exist for distributed systems, but local hardware and production realities rarely play by the rules. UIUC professors Ram Alagappan and Aishwarya Ganesan join us on this episode of the Bug Bash podcast to talk about bridging that gap.

Their work on data infrastructure, storage interfaces, and recovery protocols has been influential at @tigerbeetle.com, @warpstream.com, and many other companies. Youtube: youtu.be/02iDXxItZ-g Spotify: open.spotify.com/episode/7Gei... Apple podcasts: podcasts.apple.com/us/podcast/b...

paradedb.comPlanetScale Released Text Search and We Have a Lot to Say (Part I)Two BM25 optimizations and benchmark configuration changes inspired by PlanetScale's TIN benchmarks make ParadeDB's text search faster without changing its document identifiers.

You move faster when you've got a strong quality framework in place. This involved significant, risky work on the @paradedb.com storage engine, verified with Antithesis. We're proud to help our customers pull off feats like this.

ParadeDB@paradedb.com

Two weeks ago, @planetscale.com launched TIN. They benchmarked it against us, and it was very fast. So we spent those two weeks making ParadeDB faster without their tradeoffs. Today, we are faster than TIN. www.paradedb.com/blog/opening...

New Bombadil release! That is all. github.com/antithesishq...

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.

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.

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

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

Bug Bash Europe kicking off with Prof. Sophia Drossopoulou!

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

“Antithesis caught protocol-breaking bugs in stateful encoding, but what really gave us confidence was seeing it exercise complex timing interleavings that would have been difficult for us to reproduce with our existing tests. The failures it surfaced made us reevaluate how we were testing.”

antithesis.comTesting Datadog's Next-Generation Event Platform Intake with Antithesis | AntithesisHow Datadog's EVP Intake team used Antithesis to test a critical architectural shift from stateless to stateful communication.

Full story: antithesis.com/blog/2026/da...

Antithesis reposted

CMU Database Group

@db.cs.cmu.edu

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 GroupPrograms used to run on a single computer start to end. Today... Read More +

antithesis.comWhy we taught agents to break distributed safety properties | AntithesisUsing mutation testing to validate AI-generated test suites for distributed systems.

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.comWhy we taught agents to break distributed safety properties | AntithesisUsing mutation testing to validate AI-generated test suites for distributed systems.

Read on: antithesis.com/blog/2026/mu...

youtu.beStop Talking About Formal MethodsFor 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…

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.

Youtube: youtu.be/ib-J1aRBpfM Spotify: open.spotify.com/episode/3ycz... Apple podcasts: podcasts.apple.com/us/podcast/s...

antithesis.comFree log storage with a time machine | AntithesisSend all your logs into a black hole -- then pull them out again!

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

db.cs.cmu.edu[Andy at Sea] Everything Has Bugs. Here’s How Antithesis Catches Them. - Carnegie Mellon Database GroupPrograms used to run on a single computer start to end. Today... Read More +

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

antithesis.comAntithesisAntithesis is an autonomous software testing platform that finds the bugs others miss.

Europe & UK: Wed 09-30: Bug Bash Europe! A festival for everyone who cares about software that works, anchored by talks from some of the sharpest thinkers on reliability today. Join us for the opening reception the night before! antithesis.com/bugbash/euro... Reception: luma.com/408ks95s

fstech.co.ukFStech - Future AI FinservLondon Hilton Tower Bridge

Europe & UK Tue 10-06: @adipidaparti joins Jonathan Easton and a great lineup of technology leaders from HSBC, AXA UK, Citi and more at @FStechnology's Future of AI in Financial Services in London. Learn to trust AI-written software when there's money on the line. www.fstech.co.uk/futureai-fin...

db.cs.cmu.edu[Andy at Sea] Everything Has Bugs. Here’s How Antithesis Catches Them. - Carnegie Mellon Database GroupPrograms used to run on a single computer start to end. Today... Read More +

devopsdays.orgDevopsdays Dallas 2026devopsdays dallas 2026

US: Mon 09-28: How much can you say about catching bugs in sixty seconds? Eric Dinh is going to find out at @DevOpsDaysDFW. Come watch him beat the clock — and grab him afterward for the director's cut. devopsdays.org/events/2026-...

predict-conference.comHomepage - PREDICTPrediction markets are moving fast and the opportunity for those who understand them is enormous. PREDICT brings together the pioneers shaping this transformation to connect, learn and explore the…

US: Tue 10-06: We'll see you at Predict 2026 in NYC! Remember, determinism is the ultimate form of predictability. predict-conference.com

db.cs.cmu.edu[Andy at Sea] Everything Has Bugs. Here’s How Antithesis Catches Them. - Carnegie Mellon Database GroupPrograms used to run on a single computer start to end. Today... Read More +