Verification Is the Next Bottleneck in AI-Assisted Development | Hacker News Reader