Comment by donald_knuth | Hacker News Reader