Building Proof to reduce the work needed to trust a software change. Engineer, founder. I want fewer compromises between shipping and quality.
The more I think about it, the more I feel that tools like Claude Code and Codex are a limiting factor for the majority of engineers.
TL;DR: A new engineering profession is emerging: the Software Verification Engineer. Manual coding is dead. Agents will write the code and the tests; someone needs to build the rules, environments, an…
I’ve heard people say, “You live in a bubble. Stay grounded in the real world!” But I truly believe living in a bubble is the key to being happy—and maybe even finding success. I don’t owe a…
So much energy in my life was spent making compromises between quality and speed, or pushing technical dev priorities. Constantly growing backlog, and guilt for the choices I had to do. What if we cou…
AI is taking over coding. To survive that mess, software has to remember what engineering actually is.
The biggest projects are closing their contribution queues. In smaller communities, there is still someone on the other side.Current open source contribution experience leads to guaranteed frustration…
I was thinking about this whole topic around AI safety and human intuition. The idea is that for some parts of AI safety we maybe can’t rely only on technical evaluations, dashboards, benchmarks, re…
I woke up and saw a wall of emails in my personal account. Then logged into my corporate Slack, and it was filled with Zendesk messages from customers. Everyone was looking for me.
Implementation got dramatically faster. Trust did not.
I’m going to be honest: I’m obsessed with AI. I use it for almost everything—writing, brainstorming, research, you name it. But at the same time, it freaks me out a bit. The more I rely on it, t…
Evaluated the latest Google Vertex AI Agent product, and the results are quite interesting!
