Donald #Knuth's "All Questions Answered" starts in a few minutes - the room is packed.