Why Lean? | Hacker News Reader