3 ms·Another tiny detail: He is Donald Knuth.by mjcohen 13y agoAnother tiny detail: He is Donald Knuth.