我们不与任何人竞争，只与自己竞争，做到最好。

创造力是智力的乐趣。

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

A journey is a person in itself; no two are alike. And all plans, safeguards, policing, and coercion are fruitless. We find after years of struggle that we do not take a trip; a trip takes us.

你表达得越多，就越暴露自己。

The speech we hear is an indication of that which we don't hear. It is a necessary avoidance, a violent, sly, anguished or mocking smokescreen which keeps the other in its place.