Michael Hart (obituary) | Hacker News Reader