Pinned post
aldo
Verified account This account is verified. Learn more@aldormous
building something new | alum @ycombinator & @solofounders | lucky guy :)
1K Following 971 Followers 23K Posts
Latest posts 5
0:22
Unpopular opinion: Spanish is an ugly language. Both in written and spoken forms.View quoted post on X
it can only remove obstacles not add new abilities
We asked GPT-6 Astra to edit Qwen3.5-0.8B weights to improve math.
It directly changed only 0.016% of weights, fixing 0.8B's reasoning loops & improving math up to 6x and even instruction following 3x, without gradients or training.
We call this Weight-Space Programming: frontier LLMs can now natively read/write neural network weights! 🧵
Blog: rikiyat.github.io/blog/weight-sp…View quoted post on X
Chai is fixing the internet
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
“Accidentally” seems an understatement for discovering the dependency was the bug.
Chai is an exceptional founder. Formal software verification is going from “academic” to “obviously necessary” very quickly.
Chai is an exceptional founder. Formal software verification is going from “academic” to “obviously necessary” very quickly.
Our product accidentally found a bug in Postgres!
I always hold my company to the highest standards when it comes to software verification. One of the internal metrics we track is how often we find rare correctness issues in some of the world's most well-tested systems.
Some of the customers we work with are building things where any unexpected failure could be catastrophic. That often means we verify all the upstream dependencies their products rely on in our environments, too.
Sometimes, that turns up interesting findings like this one: while verifying a customer’s software, our simulation engine found a rare bug in Postgres.View quoted post on X