We don't need human linters | Hacker News Reader