(Read the paper, didn’t watch the video)
I am a 54-year old undergraduate in computer science. I don’t know from Curry-Howard (or Hurry-Coward), but this paper made me giggle with delight and glee. (Knuth invokes this delight in me as well, although I don’t understand most of his writings, yet.)
If nothing else, it’s inspired me to implement half-ass easter-egg achievement systems in any future ‘serious’ software I write.