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.