最终，我们记住的不是敌人的话语，而是朋友的沉默。
In the end, we will remember not the words of our enemies, but the silence of our friends.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
The true measure of our success in aquaculture will be what we leave behind for future generations.
Be thankful for what you have; you’ll end up having more. If you concentrate on what you don’t have, you will never, ever have enough.
The eyes of others our prisons; their thoughts our cages.
在一个不断试图把你变成别人的世界里，做你自己是最伟大的成就。
The quality of an organization's leadership determines the quality of its culture.