Verification debt: the hidden cost of AI-generated code

· Hacker News