The Dawn of Rigour in the Art of Programming (2023 Interview with Don Knuth) | Hacker News Reader