The birth of the Software Verification Engineer

What will replace code reviews

Sep 30 • Leonid Bugaev

10

1

Stop Choosing Between Features, Bugs, and Technical Debt

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

Sep 8 • Leonid Bugaev

9

1

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

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

Sep 7 • Leonid Bugaev

8

Help your open-source neighbour first

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

Sep 2 • Leonid Bugaev

7

August 2026

Good Engineering Doesn’t Trust Engineers

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

Aug 28 • Leonid Bugaev

10

1

2

A Few Months Inside Rsync

Thirty years of code, hundreds of findings, and the pressure on the people who keep it alive

Aug 27 • Leonid Bugaev

3

1

July 2026

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

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

Jul 30 • Leonid Bugaev

5

1

The second 100%

Coverage is the number we invented so we could stop thinking.

Jul 8 • Leonid Bugaev

5

1

June 2026

Bugs Are Misunderstandings Made Executable

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

Jun 30 • Leonid Bugaev

3

Six things I realised after Mythos disappeared

I Don’t Need Smarter AI. I Need More Bandwidth.

Jun 16 • Leonid Bugaev

7

1

May 2026

Death of Security by Obscurity

The economics of security flipped. Most teams haven't noticed yet.

May 28 • Leonid Bugaev

7

1

Source of truth: Code, Spec, or Requirement?

When code becomes easy to produce, the hard part is remembering what we meant.

May 14 • Leonid Bugaev

4