Theorems are of no value unless they are beautiful.
除非定理是美丽的，否则它们毫无价值。
真正的领导者不是那些发号施令的人，而是那些能够激励他人自愿跟随的人。
The real challenge in computer science is not to write programs, but to understand the nature of computation.
不能让成功冲昏头脑，也不能让失败击垮内心。
Life is short, and it’s up to you to make it sweet.
你注定成为的唯一的人是你决定成为的人。
If you don't fail at least 90 percent of the time, you're not aiming high enough.