3 ms·I was there, too. Didn't see Knuth, though.by AlbertCory 4y agoI was there, too. Didn't see Knuth, though.