Verification, coverage and maximization: The big picture | Hacker News Reader