The Verification Gap
Subscribe
Sign in
Home
Find Proof
About
The second 100%
Coverage is the number we invented so we could stop thinking.
Jul 8
•
Leonid Bugaev
4
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
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…
Jun 16
•
Leonid Bugaev
7
1
May 2026
Death of Security by Obscurity
I should feel very scared right now.
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
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
6
April 2026
I Had Near 100% Test Coverage. It Didn’t Matter.
You cannot test for what you never described.
Apr 29
•
Leonid Bugaev
7
3
1
AI Writes Your Code. Nobody Verifies the Intent.
AI made implementation faster, but it did not solve trust. In both solo projects and regulated enterprise systems, the real bottleneck is still…
Apr 23
•
Leonid Bugaev
3
1
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts
