Pulling a New Proof from Knuth's Fixed-Point Printerresearch.swtch.com16 pointstodsacerdoti5 months ago