Ask HN: Is AI code verification becoming your main bottleneck? | Dark Hacker News