勇敢去追逐，才能创造奇迹。 - 每日文摘

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

形式验证的挑战在于弥合抽象模型与实际实现之间的差距。

约瑟夫·斯法基斯

得好休，便好休。

谚语

I stand up for what I believe in, and a lot of the time that’s against the grain.

我坚持自己的信仰，很多时候这与主流背道而驰。

蕾哈娜

名气，是世上所有男人跟女人对我的评价；品格是上帝跟天使对我们的认识与了解。

托马斯·潘恩

只要那东西具有重大的意义和目的，就绝不会因为一点小小的过失便全面崩盘、化为乌有。

村上春树

最伟大的故事是那些让我们感觉不那么孤独的故事。

The greatest stories are those that make us feel less alone.

哈维尔·马里亚斯

诚信者，天下之结也。

讲诚信，是天下行为准则的关键。

管仲

Transparency and accountability must be at the core of every energy company's operations.

透明度和问责制必须成为每个能源公司运营的核心。

维基·霍鲁布

山高自有行路人，水深自有渡船客。

央视金句

在万灵节，要用感恩的心去纪念这许多亡人。这样，你对于爱你的人们，对于为你劳苦的人们，自会更亲和、更有情了。你真是幸福的人啊！你在万灵节，还未曾有想起来要哭的人呢。

亚米契斯

我还是我自己，只不过更聪明，更成熟而已。不过，能成为现在的艾弗森，我真的很自豪。

阿伦·艾弗森

Swim upstream. Go the other way. Ignore the conventional wisdom.

逆流而上。走另一条路。忽略传统智慧。

山姆·沃尔顿

人一生有两个最重要的日子，一是出生的那天，二是发现你为何而生的那天。

The two most important days in your life are the day you are born and the day you find out why.

马克·吐温

只有大自然自己知道她的现在和过去。

丁玲

A healthy forest ecosystem supports both nature and commerce.

健康的森林生态系统同时支持自然和商业。

艾米丽·布朗

我甚至现在就能清楚的看见，一旦有一天我不得不长久地离开它，我会怎样的想念它，我会怎样想念它并且梦见它，我会怎样因为不敢想念它而梦也梦不到它。

史铁生

人生就像背着降落伞，关键在于自我。你是什么样的人，就会拥有怎样的世界。所以，无论生活如何，做好自己，才是人生的真谛。

郭晶晶

法治之下，人们才有真正的自由。法治不是政府通过法律来治理社会，首先政府的行为要在法律的约束之下。

哈耶克

笑着死去一定是最光荣的死法之一！

To die laughing must be the most glorious of all glorious deaths！

爱伦·坡

—— 请按键盘 空白键 开始游戏 ——

—— 请按键盘空白键开始游戏 ——