心有自己的地理，自己的天气。

"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."

创新不仅仅是技术的问题，更是思维方式的问题。

I believe in the power of art to transform consciousness.

"We are all apprentices in a craft where no one becomes a master."

我不是为死去的总统说唱；我宁愿看到总统死去。

英雄是一时的，但传奇是一世的。

Sustainable fishing practices are not an option, but a necessity if we want to preserve marine biodiversity.

商业的未来在于可持续性和道德实践。

When playing Monopoly， spend all you have to buy， barter， or trade for the Orange properties. Don’t bother with Utilities.

You are easy to pretend to care about.

我认为最好的表演是本能的。它不是智力的，不是机械的，它是本能的。