Linters as Invariants | Hacker News Reader