Archive - The Verification Gap

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

The second 100%

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

Jul 8 • Leonid Bugaev

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

Six things I realised after Mythos disappeared

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

Jun 16 • Leonid Bugaev

May 2026

Death of Security by Obscurity

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

May 28 • Leonid Bugaev

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

Trust Is the Bottleneck

AI can write specs, code, tests, and docs. If all of them agree on the wrong intent, green CI isn’t enough.

May 5 • Leonid Bugaev

April 2026

I Had Near 100% Test Coverage. It Didn’t Matter.

You cannot test for what you never described.

Apr 29 • Leonid Bugaev

AI Writes Your Code. Nobody Verifies the Intent.

AI sped up code generation. It did not solve trust.

Apr 23 • Leonid Bugaev

#nojs-banner { position: fixed; bottom: 0; left: 0; padding: 16px 16px 16px 32px; width: 100%; box-sizing: border-box; background: red; color: white; font-family: -apple-system, "Segoe UI", Roboto, Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol"; font-size: 13px; line-height: 13px; } #nojs-banner a { color: inherit; text-decoration: underline; } This site requires JavaScript to run correctly. Please turn on JavaScript or unblock scripts