The future of computing lies in the development of systems that can verify their own correctness.

计算的未来在于开发能够自我验证正确性的系统。

埃德蒙·克拉克

做出伟大工作的唯一方法就是热爱你所做的事。

"The only way to do great work is to love what you do."

C·J·博克斯

光辉的理想像明净的水一样洗去我心灵上的尘垢。

巴金

I should be guessed early, in her Quan Quan tender feelings is at the back of that funny intrigue, flower is so fancy-free! But I am too young after all, do not know how to love her.

我早该猜到，在她那可笑的伎俩后面是绻绻柔情啊，花儿是如此天真无邪！可是我毕竟太年轻了，不知道如何去爱她。

安托万·德·圣-埃克苏佩里

不要以为渺小的，就没有力量；不要以为卑微的，就没有尊严。

当年明月

丘吉尔曾有一句名言说：除了其他所有制度之外，民主是全世界最糟糕的政治制度。

瓦尔·赫拉利

科技发展带来的社会变化，迫切需要人们对关键问题的辩论，来探讨对待变化的适当应对方式。

谢尔盖·布林

The classification of facts and the formation of absolute judgments upon the basis of this classification—judgments independent of the idiosyncrasies of the individual mind—essentially sum up the aim and method of modern science.

事实的分类以及基于这种分类形成绝对判断——独立于个体思维特性的判断——本质上总结了现代科学的目标和方法。

卡尔·皮尔逊

"Memory is a complicated thing, a relative to truth, but not its twin."

记忆是一件复杂的事情，是真相的亲戚，但不是它的双胞胎。

伯妮丝·鲁本斯

凡事你想控制的，其实都控制了你，当你什么都不要的时候，天地都是你的

宋默

天下本无事，庸人自扰之。

三毛

卡塞尔文献展必须始终是一种冒险，而不是例行公事。

The documenta must always be a risk, never a routine.

阿诺德·博德

我学会了接受这世界，以它本来如此的样子，并且爱这世界，乐意归于其中。

赫尔曼·黑塞

影响我们一生的绝不是环境，也不是遭遇，而是我们的性格。

安东尼·罗宾

新消费品牌只需要跑好“最后一公里”，定义好那个不可外包的核心能力。

罗振宇

世界不是由那些正确的人运行的。它是由那些能说服别人他们正确的人运行的。

The world is not run by those who are right. It is run by those who can convince others they are right.

希拉里·曼特尔

最好的想法往往来自不同领域和视角的交汇处。

The best ideas often come from the intersection of different fields and perspectives.

让-马克·雅卡尔

一个人的力量，是他当前的手段，以获得未来明显的好处。

The power of a man, is his present means, to obtain some future apparent good.

托马斯·霍布斯

遵守诺言的最佳方式就是不要许诺。

拿破仑

一心想摆出一副聪明相的人往往却成不了聪明人。

拉罗什富科

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

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