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

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

埃德蒙·克拉克

禅宗的本质就体现在“在当下的刀锋边缘上走路”——完全地进入当下就不会有问题，就不会有痛苦，在你本质中不是你的东西就不会在你之内生存。

埃克哈特·托利

想要成功，你必须具备这样的条件：用你的欲望提高你的热情，用你的毅力磨平高山，同时相信你会成功。

卡耐基

所有的艺术家都是在自己的心灵中浸渍画笔，将自己的本性融入作品的。

亨利·沃德·比彻

Consciousness is not a thing, but a process.

意识不是一种事物，而是一个过程。

罗杰·费德勒

最大的风险就是不冒险。

The greatest risk is not taking one.

保罗·鲁比奥

认知闭合就是若一件事没有完成，我们内心总是挂念，盼望着早点完成；此事一旦完成，做这件事的动机就会立即趋向于零。

周岭

也许不仅是做爱。在城市的喧嚣人群中，在电脑和传真充斥的办公室里，在无至尽的商业宴席间。都有对自己孤独和焦灼的质问。

安妮宝贝

那薄如蝉翼的未来，经不起谁来猜。

方文山

养心莫善于寡欲，养廉莫善于止贪。

译文：修性养心最好的方式就是少些欲望，培养廉洁的美德最好的方式就是不要心存贪念。赏析：人的欲望太多，贪念过盛，一旦无法满足，就会伤身费神。守身必谨严，养心须淡泊。为了追逐名利，有的人忘乎所以，最终走上违法犯罪的道路。

佚名

"No hay mayor aventura que adentrarse en las páginas de un libro."

没有比深入书页更大的冒险了。

费尔南多·德尔·帕索

数学课的趣味化引入，我觉得应遵循几个原则：有趣而不能哗众取宠；别致而不能标新立异；新颖而不能华而不实；独特而不能喧宾夺主。

王微

历史是向后投射的当下。

"History is the present projected backwards."

亚历山大·克鲁格

冰山运动之雄伟壮观，是因为他只有八分之一在水面上。

海明威

The true measure of a company's success is its impact on society, not just its bottom line.

衡量一家公司成功的真正标准是其对社会的影响，而不仅仅是其利润。

伊恩·格雷

地洼下，水流之；人谦下，德归之。

魏征

数学的复利模型、物理学的临界质量模型、生物学的现代综合进化论、化学的自我催化模型，以及工程学的备份模型等。芒格认为，掌握100个模型就差不多可以拥有通识智慧了，而其中非常重要的不超过10个。

李善友

"Writing is a way of saying to the world, 'I exist, and I have something to say.'"

写作是一种向世界说“我存在，我有话要说”的方式。

阿摩司·奥兹

要爱具体的人，不要爱抽象的人类。

陀思妥耶夫斯基

为学当重闻思修，将来务必说写做，若能具备戒定慧，必可清净乐融融。

星云大师

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

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