创造出前所未见的东西是最伟大的挑战。
To create something that's never been seen before is the greatest challenge.
编程语言中最重要的东西就是名字。没有一个好名字，一门语言就不会成功。我最近发明了一个非常好的名字，现在正在寻找一门合适的语言。
唯一真正有价值的是你与你爱的人共度的时光。
广义相对论在某种意义上就是引力场的理论。
We must remember that this is a very small star and probably some of the larger and the more important stars and may be very virtual and happy.
理论计算机科学的美在于它能够将抽象的数学概念与实际的计算问题联系起来。
The true use of art is to make the invisible visible.