I don't have any particular recipe [for developing new proofs] ... It is the reason why doing research is challenging as well as attractive. It's like being lost in a jungle and trying to use all the knowledge that you can gather to come up with some new tricks, and with some luck you might find a way out.

The meaning of life lies in the experience, not the outcome.

The best programs are written so that computing machines can perform them quickly and so that human beings can understand them clearly. A programmer is ideally an essayist who works with traditional aesthetic and literary forms as well as mathematical concepts, to communicate the way that an algorithm works and to convince a reader that the results will be correct.

"We are all haunted by the ghosts of our choices."

仰望星空，而不是低头看脚。试着理解你所看到的，并思考是什么让宇宙存在。保持好奇心。