Cloud infrastructure that proposes verifiable bugfixes | Dark Hacker News