Don Knuth plays with ChatGPT | Hacker News Reader