Hacker News new | ask | show | jobs
Pulling a New Proof from Knuth's Fixed-Point Printer (research.swtch.com)
2 points by KnuthIsGod 7 days ago