Writing

Now writing actively at

The Verification Gap →

My blog on Proof and formal verification for AI-assisted development. AI writes your code — who verifies the intent? blog.reqproof.com

Stop Choosing Between Features, Bugs, and Technical Debt

· The Verification Gap
AI gives us enough engineering capacity to stop cutting corners and start building software that stays correct.

Your AI can fix the bug. But can it find it?

· The Verification Gap
My experiments with GLM-5.3-flash, and the difference between following instructions and knowing what to question.

Help your open-source neighbour first

· The Verification Gap
The biggest projects are closing their contribution queues. In smaller communities, there is still someone on the other side.

Good Engineering Doesn’t Trust Engineers

· The Verification Gap
AI is taking over coding. To survive the identity crisis, software has to remember what engineering actually is.

A Few Months Inside Rsync

· The Verification Gap
Thirty years of code, hundreds of findings, and the pressure on the people who keep it alive
Personal essays

Pick Your Own Bubble

They say living in a bubble means ignoring reality, but for me, it’s exactly where I find genuine happiness and freedom. From homeschooling while traveling to working remotely and sharing a home with three generations, I’ve learned life is too short not to create the path that suits me best.

It's Not Too Late for Slow Parenting

A nomad dad's perspective on giving children time to grow at their own pace. Looking at the counterintuitive benefits of slowing down as a family rather than rushing to meet early development milestones.

Travelogue of a Nomad Dad

There is a belief that being a nomad is for young people, without kids, and once you are grown up, you have to settle down. Me, my wife and two little sons are the new nomads - we have no permanent house and travel every 3-4 months.

Why having kids is the best what can happen with your career

When you become a parent your life is entirely changed --- that's no doubt. But even now, I'm can only thank my two little boys for these changes. Fatherhood improved me both as a person and a professional.