As humans write less code: workloads shift from human to agent verification | Hacker News Reader