宁可做一个不满足的人，也不愿做一个满足的猪；宁可做苏格拉底不满足，也不愿做一个愚蠢的满足者。
It is better to be a human being dissatisfied than a pig satisfied； better to be Socrates dissatisfied than a fool satisfied.
It is no good to try to stop knowledge from going forward. Ignorance is never better than knowledge.
The only thing that is truly yours is your dreams.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
"The currency of the digital world is trust."
The key to trading is to have an edge and to know what that edge is.
成为人类就是有缺陷，而有缺陷才是真实的。
The next decade will separate the companies that talk about sustainability from those that actually innovate.