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

Celebrating ten years of jsonparser by taking back the “fastest” title

· The Verification Gap
From 'fastest' to 'one of the fastest' and back, with a formal proof along the way.

The second 100%

· The Verification Gap
Coverage is the number we invented so we could stop thinking.

Bugs Are Misunderstandings Made Executable

· The Verification Gap
Why software fails, how the industry fights back, and whether bug-free code is even possible.

Six things I realised after Mythos disappeared

· The Verification Gap
Once I heard that Anthropic releasing Mythos 5, and it will be temporary in subscription layer only for 3 weeks, my first action was to buy one more account to squeeze as much intelligence of it as possible.

Death of Security by Obscurity

· The Verification Gap
I should feel very scared right now.
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.