The Verification Gap
Subscribe
Sign in
Home
Find Proof
About
Death of Security by Obscurity
I should feel very scared right now.
3 hrs ago
•
Leonid Bugaev
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
3
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
5
April 2026
I Had Near 100% Test Coverage. It Didn’t Matter.
You cannot test for what you never described.
Apr 29
•
Leonid Bugaev
6
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
2
1
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts