The best way to be happy is to forgive.

"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."

"The changes we dread most may contain our salvation."

每一个挑战都是伪装的机遇——只要你有心去寻找。

The beauty of a molecule is in its structure and its story.

你只需要写出一句真实的句子。写出你所知道的最真实的句子。

We need to build China's marine fishery into a world-class industry.

The best way to predict the future is to invent it.

尽可能及时地向供应商、工人、承包商结款。他们下次会不遗余力地优先服务你。

"O escritor é um eterno insatisfeito, sempre em busca da palavra perfeita."

我们成功的真正标准是在保护资源的同时如何更好地养活世界。