The measure of our success isn't in quarterly profits, but in the health of fish stocks decades from now.
我们成功的衡量标准不是季度利润，而是几十年后鱼类种群的健康状况。
"Words are the mirrors of our thoughts."
Success is not about being the best. It's about always getting better.
The game of history is usually played by the best and the worst over the heads of the majority in the middle.
"True literature should disturb the comfortable and comfort the disturbed."
故事的力量在于它能够将我们带到另一个地方和时间。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
真正的进步发生在我们敢于质疑现状之时。