我不认为有什么极限。
I don't think limits.
The longer I live the more I see that I am never wrong about anything, and that all the pains I have so humbly taken to verify my notions have only wasted my time.
最大的炫耀就是对自己感到快乐。
一流智力的检验标准是同时持有两种相反的观点，并且仍然能够正常运作。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
重要的不是你说什么，而是你做什么。