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.
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.
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!
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.
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.
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?
Long weekend, long read. One developer. One fuzzer. Squillions of blocks. An odyssey. Поехали!
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.
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.
Trust, but verify: It's good advice when working with humans, and it's essential to getting reliable, high-quality code from your agents.
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.
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...
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.
Hey New York! See you at the Javits today for the @awscloud.bsky.social Summit! Notice anything? 😃
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!
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.
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
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.
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!
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...
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?
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.
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.
Remember that bug that cost you three days? Or was it a week? What if we could just tell you why it was happening?