[math-fun] Fwd: [xbbn] New Knuth books