User talk:Donknuth
Revision as of 22:50, 10 April 2023 by DroneBetter (talk | contribs) (Ask whether we think it is really him)
Is this account really him, do we think? (See his contributions, all thus far were almost a decade ago, though volume 4 fascicle 6 of The Art of Computer Programming is about SAT solvers and directly involves the encoding of spaceship search problems in cellular automata to them.) DroneBetter (talk) 22:50, 10 April 2023 (UTC)