SWE-AGI: benchmarking spec-driven software construction | Hacker News Reader