Mechanically verified IT best practices | Hacker News Reader