Verification Debt is the new Tech Debt | Hacker News Reader