Linters as Invariants | Dark Hacker News