Twitxy Saved

Chaitanya

Verified account Solo Founders

@chaaai

Founder @workersio (YC F26) - All things software reliability
San Francisco workers.io Joined June 2021
1.1K Following 15K Followers 4.5K Posts

Latest posts 5

Pinned post

Chaitanya Verified account @chaaai
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!
0:51
141 replies 73 reposts 920 likes 155K views View on X
Chaitanya Verified account @chaaai
Exactly why we are building @workersio to help teams speed run turbulent times, reach an ideal reliability faster and maintain it!
Tibo Verified account @thsottiaux 3d
I can confidently say that humans were not very good at writing secure infrastructure. The endstate will be hypersecure infrastructure and software for all, but we're going to go through some turbulence before we reach that.
View quoted post on X
2 replies 2 reposts 18 likes 1.2K views View on X
Chaitanya Verified account @chaaai
Not saying I have PFM but it’s not uncommon for us to sign annual contracts and angel checks in the same email.
Chaitanya Verified account @chaaai Nov 2
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!
View quoted post on X
5 replies 3 reposts 55 likes 2.7K views View on X
Chaitanya Verified account @chaaai
I feel that is the wrong hill to climb on, the point is not to just "formally verify" the code.

BUT to make sure we help teams develop understanding of their systems and then verify things that they care about.

DST or FV, the hardest part is often coming up with the right properties to work with. It's very easy to verify the wrong things, or even worse things that has no business outcomes tied to them.
Harmonic Verified account @HarmonicMath 5d
In two years, all code will be formally verified
View quoted post on X