There are only two tragedies in life: one is not getting what one wants and the other is getting it.
生活里有两个悲剧:一个是没有得到我们想要的;另外一个是得到了。
The future of computing lies in the development of systems that can verify their own correctness.
学校教育的首要目标应该是培养能够创新的人,而不仅仅是重复前人所做的事情。
In every real man a child is hidden that wants to play.
我相信古典音乐的魔力;它超越时间,直击灵魂。
The most important thing in communication is hearing what isn’t said.