It was this moment when @sama said Formal Verification is underinvested and potentially holds solution to AI safety.
We are still super early and a lot of tooling that will help us get to correct-by-construction software systems is yet to be built.
At @workersio we are building
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
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
