你必须愿意冒险,走出你的舒适区。
You have to be willing to take risks and step out of your comfort zone.
建筑师必须是诗人,但必须是建造的诗人。
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.
被世人称为不道德的书,其实是揭示了世界自身的羞耻。
编程语言中最重要的东西是名字。没有好名字的语言不会成功。我最近发明了一个非常好的名字,现在正在寻找一种合适的语言。