最成功的公司是那些将利润与目标结合起来的公司。
Success is not about being the best. It's about always getting better.
解释：人不博览群书，不了解古今，不能识别世间事物，不知道是与非，就像盲人看不到颜色 、聋人听不到声音、鼻塞的人闻不到花香一样啊。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
Art is my entire life.
"History is not the past. It is the method we have evolved of organizing our ignorance of the past."
历史不是过去。它是我们进化出来的组织我们对过去无知的方法。
The key to success is not just hard work, but working smart.