Re:Lean Now Ships with Verified Kernels
by runningmike on Sunday October 18, 2026 @02:58AM
(#50138587)
“ AI agents are very effective at finding vulnerabilities in our software.” No! AI can find code weaknesses not vulnerabilities. All vulnerabilities are weaknesses, but not all weaknesses are vulnerabilities.
[ Parent
| on HN ]
There are no comments on this comment yet.