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