形式化方法的美在于它们能够提供关于系统行为的绝对保证。

"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."

约瑟夫·斯法基斯

技术应该为农民服务，而不是反过来。

Technology should serve the farmer, not the other way around.

埃里克·韦斯特

最大的危险，失去自我，可以在世界上非常安静地发生，仿佛它根本不是什么大事。

The greatest hazard of all, losing one’s self, can occur very quietly in the world, as if it were nothing at all.

克尔凯郭尔

思维在于设想、实现结构特征和结构要求。

Thinking consists in envisaging, realizing structural features and structural requirements.

马克斯·韦特海默

人在孤立状态下无法正常成长，人需要真正的人际接触。

菲利帕·佩里

美丽的心灵是那种博大、开朗而又准备容纳一切的心灵。

蒙田

对爱者而言，爱情怎么会是悲剧？对春天而言，秋天是它的悲剧吗？

史铁生

聪明的人只要能掌握自己,便什么也不会失去。

尼采

Efficiency without ethics is just speed in the wrong direction.

没有道德规范的效率只是在错误的方向上加速。

乔·布朗

做你自己。没有人比你更好。

Just be yourself. There is no one better.

泰勒·斯威夫特

某个春夏之交的傍晚，太阳斜斜滑进屋中，红光穿透了朝西开的窗户。屋子里一片昏暗。那天我忽然心血来潮，将那幅贝雅特里斯或德米安的肖像放在窗台上，夕阳的余晖穿透画像照射进来，那张脸的轮廓变得模糊不清，而那对眼眶红红的眼睛，那额头上的光芒和鲜红的嘴唇，仿佛在画面上热烈地燃烧起来。我坐在画前良久，那火光灭了之后也没动弹。渐渐地，我的心中出现了一种感觉：那画既不是贝雅特里斯也不是德米安，而是，我自己。虽然画中人并不像我——我觉得也没必要像——但那正是我生活的内容，是我的内心，我的命运或我的魔障。如果我有一个朋友，或者如果我有一个爱人，他们应该就是画中人的模样。我的生命和死亡也会如此，这就是我命运的钟声和旋律。

赫尔曼·黑塞

二十六年里，他没有请过一次假。

米歇尔·奥巴马

我追求的是消除自我，与宇宙合而为一。

What I seek is the obliteration of the self, merging with the universe.

草间弥生

我们不应该停止探索而所有探索的尽头都将是我们出发的起点并且生平首次了解这起点。

托马斯·艾略特

环境是一个长期问题，需要长期承诺。

The environment is a long-term issue that requires long-term commitment.

蒂姆·库克

农业革命促成了有神论宗教，而科技革命则催生了人文主义宗教：以人取代了神。有神论者崇拜的是神，人文主义者崇拜的是人。人文主义的奠基概念认为智人拥有某些独特而神圣的本质，这些本质是宇宙间所有意义和权力的来源。宇宙间发生的所有事，都会以“对智人的影响”作为判断好坏的依据。

瓦尔·赫拉利

你唯一应该试图超越的人就是昨天的自己。

The only person you should try to be better than is the person you were yesterday.

贾斯汀·汀布莱克

掌控你生活的最佳时机就是现在。

The best time to start taking control of your life is now.

梅格·杰伊

I'm not a girl who lives in fear. I'm a girl who lives in freedom.

我不是一个生活在恐惧中的女孩。我是一个生活在自由中的女孩。

泰勒·斯威夫特

"The challenge of acting is to live truthfully under imaginary circumstances."

演戏的挑战在于在虚构的情况下真实地生活。

玛丽-乔西·克罗兹

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

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