3 ms·Good story! Knuth's nickname of "Yoda" is well-deserved.by mimixco 7y agoGood story! Knuth's nickname of "Yoda" is well-deserved.