Comment by formalsystem | Hacker News Reader