The true measure of success is not in the harvest, but in the legacy we leave behind.
成功的真正标准不在于收获，而在于我们留下的遗产。
未来的粮食安全蕴藏在波涛之下。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
Greatness is not about being the best, but bringing out the best in others.
The act of writing is an act of rebellion.
游戏行业的核心竞争力是创新，没有创新就没有未来。
释义：他人胜过自己无妨，对方不会有怨恨；自己胜过他人非福，可能招致灾祸。