The most important thing in the programming language is the name. A language will not succeed without a good name. I have recently invented a very good name and now I am looking for a suitable language.
海洋不会回报那些过于焦虑、贪婪或急躁的人。一个人应该像海滩一样空虚、开放、无选择——等待海洋的馈赠。
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.
病毒的复杂性提醒我们,关于生物学我们还有很多需要学习。