Verification, not generation, is the bottleneck in AI coding · HackerLangs