To men like that, time was a surfeit, a barrel they watched slowly drain. When really, he thinks, it’s a glowing puddle you carry in your hands; you should spend all your energy protecting it.

对每个人来说，体育是内心提升的可能源泉。

我认为最重要的事情就是对你所拥有的心存感激。

The future belongs to those who believe in the beauty of their dreams.

气候变化是对全球渔业未来的最大威胁。

解释：对别人的灾祸而幸灾乐祸是不仁义的，乘别人的危难去攻击不符合武德。

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

I hope that in this year to come, you make mistakes. Because if you are making mistakes, then you are making new things, trying new things, learning, living, pushing yourself, changing yourself, changing your world. You're doing things you've never done before, and more importantly, you're doing something.