Separately, I know Knuth has recently mentioned drowning under a sea of (presumably LLM-found) bugs in TAOCP, so I suspect it might lead to a slight (if accidental) reprieve :)
I'd be interested in the latest version of the dynaham.w program, if anyone has that.
noreply@[HN username]web.com
svat•51m ago