Don’t loan money to a friend unless you are ready to make it a gift.

我是变革的催化剂。作为一个局外人，你不可能在30多年的时间里取得成功而不留下一些伤痕。

直到故事发生了最坏的转折，它才算结束。

无论失败多么艰难，只要你不停下尝试，失败就不是终点。

如果不给儿童提供帮助，如果忽视他的环境，那他的精神生命将会处于持续的危险之中。

I'm not a gambler. I don't believe in luck. I believe in hard work and preparation.

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

"The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion."

政府、企业和科学家之间的合作是保护海洋的关键。