Donald Knuth on work habits, problem solving, and happiness (2020)