一张寒酸的床比一张华富的床更令我感到温暖，因为我生怕失去我的穷困，而它在冬日里却对我最忠实。

尼采

真正的发现之旅不在于寻找新的风景，而在于拥有新的眼光。

The real voyage of discovery consists not in seeking new landscapes, but in having new eyes.

J·M·库切

人离开狭义的动物愈远，就愈是有意识地自己创造自己的历史。

恩格斯

The soul becomes dyed with the color of its thoughts.

灵魂被其思想的颜色所染色。

鲁道夫·欧肯

未经审视的生活不值得过。

A life without examination is not worth living.

奥斯瓦尔德·埃格

那种似由工作造成的神经崩溃，其实都是精神苦恼所致，患者乃是为了逃避苦恼才去埋头工作的。他所以不愿放弃工作，是因为放弃之后，再没东西可以使他忘记他的不幸了。

罗素

Quality is not a myth; it is a fact.

质量不是神话；它是一种事实。

菲利浦·克劳士比

稀有事件总是出乎意料地发生，否则它们就不叫稀有事件了。

塔勒布

善养生者慎起居，节饮食，导引关节，吐故纳新。

苏轼

世上有诸多为自己的想象和胆小所夸张的伤悲，可以呼天抢地，痛不欲生，用以博取同情或者借以自我倒戈。然而人若心中真有大悲，却通常沉默不语。

七堇年

一切发生的事情，在其有意义的时候，都具有矛盾的性质。

亨利·米勒

重要的不是你走得多慢，而是你不停下脚步。

It does not matter how slowly you go as long as you do not stop.

亚瑟小子

形式化方法不是银弹，但它们是追求可靠系统的重要工具。

"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."

约瑟夫·斯法基斯

在无知中寻找智慧。

爱因斯坦

倘使有一双翅膀，我甘愿做人间的飞蛾。我要飞向火热的日球，让我在眼前一阵光身内一阵热的当儿，失去知觉，而化作一阵烟，一撮灰。

巴金

To live in the hearts we leave behind is not to die.

活在我们留下的心中，就不是死亡。

罗辛顿·米斯特里

故视强，则目不明；听甚，则耳不聪；思虑过度，则智识乱。

韩非子

仇恨是女人的乐趣。

La haine est un plaisir de femme.

让·拉辛

快乐最重要，何人、何物、何事使你快乐，你就同他们在一起；使你不快乐，你就离开他。

杜月笙

Philosophy is a battle against the bewitchment of our intelligence by means of language.

哲学是一场与语言的咒术对抗的战斗。

维特根斯坦

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

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