Pulling a New Proof from Knuth's Fixed-Point Printer | Hacker News Reader