Rodney Brooks - A Night with Donald Knuth (via searchlore.ai)