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