Comment by formalsystems | Hacker News Reader