Pulling a new proof from Knuth's fixed-point printer, with code in Ivy

(research.swtch.com) by fanf2 | Jan 11, 2026 | 0 comments on HN