"Verification is not just about finding bugs; it's about understanding why the system works the way it does."

验证不仅仅是发现错误；它关乎理解系统为何以某种方式工作。

约瑟夫·斯法基斯

我为自己分分秒秒疏漏万物向时间致歉。

维斯瓦娃·辛波丝卡

Think small. If you think small, you'll stay small. If you think big, you'll stay big.

从小处着眼。如果你从小处着眼，你就会保持小。如果你从大处着眼，你就会保持大。

山姆·沃尔顿

达则孔明，穷则渊明。

冯唐

Never ask the doctor what you should do. Ask him what he would do if he were in your place. You would be surprised at the difference.

不要问医生你该做什么；而是问医生，如果他处于你的情况下，他会做什么。你会惊讶地看到其中的差异。

塔勒布

爱自己是终身浪漫的开始。

"To love oneself is the beginning of a lifelong romance."

菲利普·亨舍

动一下嘛！让我知道你们还是活的。

罗翔

在愚蠢的世界上，正经的东西总是属于错误的人。

海因里希·伯尔

在分心的环境中，阅读的行为是一种抵抗行为。

The act of reading is an act of resistance in a landscape of distraction.

理查德·鲍尔斯

抢在对方训斥自己之前，用对方想说的批评的话来评价自己，百分之九十九的几率是对方会采取一种宽容而大度的态度，那么过失将被最小化。

卡耐基

我这么爱他，并不是因为他长的英俊，而是因为他比我更像我自己。不管我们的灵魂是什么做的，他的和我的是完全一样的。

艾米莉·勃朗特

我拥有一条像狗一样忠心，像猫一样贴心，像爱人一样深情的鱼。她始终带着微笑的表情。

几米

每一个人都拥有生命，但并非每个人都懂得生命，乃至于珍惜生命。不了解生命的人，生命对他来说，是一种惩罚。

佚名

在这个世界上，你无法选择是否受伤，但你可以选择由谁来伤害你。

"You don't get to choose if you get hurt in this world, but you do have some say in who hurts you."

约翰·格林

言读书编类，语言相似者，事做一处，便见优劣是非。

吕本中

六经不能教，当以小说教之；正史不能入，当以小说入之；语录不能渝，当以小说渝之；律例不能治，当以小说治之。

梁启超

Every book is a quotation; and every house is a quotation out of all forests, and mines, and stone quarries; and every man is a quotation from all his ancestors.

每本书都是一句引文；每座房子都是从所有森林、矿山和采石场中引用的；每个人都是从他所有祖先中引用的。

拉斐尔·桑切斯·费尔洛西奥

归国宝，水若献贤而进士。

墨子

History is a nightmare from which I am trying to awake.

历史是一场我试图从中醒来的噩梦。

卡洛斯·富恩特斯

阅读是一种共情的行为。

"Reading is an act of empathy."

弗朗西斯·斯普福德

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

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