Today I'm announcing Workers IO to solve the slowest part of engineering, verification! AI agents can now write years’ worth of code in days, but it still takes significant engineering effort to verify what’s being built. It’s impossible to predict all scenarios that could lead to a failure and that’s why most expensive failures are found in production. Workers IO runs millions of simulated production scenarios on your entire system, including dependencies. These simulations run inside a deterministic hypervisor which injects faults like network delays, disk errors, clock skew, and process failures to verify how your system handles these conditions. Deterministic execution allows us to systematically explore the state space of the system and perfectly reproduce failures. We are already helping customers do years worth of production hardening in days and build confidence in what they’re shipping. If you are working on systems that you can never afford to break, DM me and we can help you battle test them!

Tokens alone are not going to cut it, software verification is very much a research problem just like AI safety. We need better tools, there is a reason why Rust is overtaking Python in a lot of cases. Agents make choices too and they will pick the best tools and techniques to build verifiably correct software.

We’re organizing Vibecheck, a formal methods hackathon with some of the best folks in the space - @maxvonhippel, @qd_forall, @nolanlwin, @jessemhan, @emiyazono, and @workersio. You’ll get a weekend to build real production software, and formally verify it. We’ll have people who really know their stuff around to help, and you can come with a team, find one there, or just hack on something yourself. We are glad to have a phenomenal group of sponsors, including @harmonicmath, @mathematics_inc, @theoremlabs, @thegp, @omnicom, @primeintellect, @astriolabs, @buildwithparty, @wearerandomlabs, and @lanyon_ai, as well as some more we will announce in the coming days! If you’re a hacker, a formal methods person, or just someone who thinks “how do we know it works?” is an interesting question, we’d love to have you. Signup Now:

A decade later, I’m starting up again. I sold my first company ten years ago and have spent the years since working as an engineer. Now I’m building @workersio as a solo-founder. We’re living in a new era where an agent can write software faster than a team of 100 engineers. As software becomes more autonomous, I want us to raise our expectations and take more responsibility for what we build along the way. Software can have a long half-life, and over time it becomes critical in ways we never planned for. Businesses, and sometimes lives, end up depending on decisions (or our agents) we make. For the longest time, building reliable & verifiably correct software systems required resources that only a few teams could afford. I want to make those capabilities widely accessible, especially as more teams take on ambitious problems and build more of their own software in-house. Our ambition is to make five nines of availability and verifiably correct the default for software in the agent era, so the software running our world becomes more dependable as it becomes more capable. I’m excited to share that we’ve raised from @ycombinator, @solofounders, and an incredible group of angels - @Joshuabrowder, @tylerwillis, @ericbluewatch, @gshewakr, @jaentwistle and some friends and customers. This is the mission I’m committing to for my next moonshot; I’m grateful to everyone helping me bring it to life. If this mission excites you, I’d love to hear from you. Whether you want to work with us, help us along the way, or exchange ideas about where software is headed, please reach out.