The challenge in model checking is not just to find errors, but to understand why they occur.

模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。

埃德蒙·克拉克

君子知微知彰，知柔知刚，万夫之望。

翻译：君子知道隐微的开始，也知道事态的彰显；也知道该柔的时候柔、该刚的时候刚，这样的君子才是万众所敬仰的人物。

伏羲

家在万重云外，有沙鸥相识。

陆游

生活就是你梦中看到的电影。

Life is the movie that you see in your dreams.

李尔·韦恩

智慧和教育是保卫自由的坚实壁垒。

约翰·洛克

经验性的真知不可能是绝对确定的。即使是科学原理也不能完全没有一丝疑义地被证实：只能通过检验来证伪。即一个失败了的检验就足以证伪，而再多的确认性的例证也不能够完全证实。

卡尔·波普尔

能否诚实地面对自己，是作为投资人的第一重考验。

张磊

国不以利为利，以义为利也。长国家而务财用者，必自小人矣。

戴德

看哪个公司更真心培养员工，不能只看它的培训经费。更重要的是：哪些公司会提供机会给员工，让他们在容许错误、重视成长的环境中，着实地磨练与学习。

李开复

Sometimes you have to lose yourself before you can find yourself.

有时候你必须先迷失自己，才能找到自己。

贾斯汀·汀布莱克

效率的重要性被大大高估。闲散的重要性被大大低估。任何工作要取得顶尖的业绩，定期安排的学术休假、假期、休息、漫无目的的散步，都是必要的前提。最好的职业伦理，需要良好的休息伦理。

凯文·凯利

压力是一种特权——它意味着你有机会成就伟大的事情。

"Pressure is a privilege—it means you're in a position to achieve something great."

贾斯汀·海宁

对付一个不自由的世界的方法，就是变得如此绝对自由，以至于你的存在本身就是一种反抗。

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

大卫·阿尔蒙德

Transparency is not just a physical quality but a moral position.

透明性不仅是物理特性，更是一种道德立场。

让·努维尔

他们在二十岁没结婚，因太年轻；八十岁没结婚，因太老。

加西亚·马尔克斯

世上无难事，只怕有心人。

谚语

照片这种东西不过是生命的碎壳，纷纷的岁月已过去，瓜子仁一粒粒咽了下去，滋味各人知道，留给大家看的唯有那狼藉的黑白的瓜子壳。

张爱玲

人类的历史就是由一个男人一个女人在一个花园里开始的。中央公园地点适中，而且有许多地方可以坐下来休息。

梁实秋

在光亮中，世界始终是我们最初和最后的爱。

西西弗的神话

加缪

最深刻的真理往往最简单。

The most profound truths are often the simplest.

哈维尔·马里亚斯

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

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