Pulling a New Proof from Knuth's Fixed-Point Printer #1 Post by KnuthIsGod » Fri, Jun 05, 2026, 8:56 AM UTC Pulling a New Proof from Knuth's Fixed-Point Printerresearch.swtch.com