The future of computing lies in the development of systems that can verify their own correctness.
计算的未来在于开发能够自我验证正确性的系统。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
以目标为导向，以任务为牵引，让知识变成的生产力，才能产生巨大的能量，实现人生蜕变。
张萌
The best miners don't just follow seams of ore; they uncover opportunities others overlook.
最优秀的矿工不仅仅追随矿脉，他们还能发现别人忽视的机会。
苏珊·威廉姆斯
你把利益分给他，你的事才与他有关。
冯晓强
混乱只是等待被破译的秩序。
Chaos is merely order waiting to be deciphered.
萨拉马戈
怀有野心的人是不会把时间浪费在妻子和朋友身上的，他不得不把全部时间奉献给他的敌人。
托马斯·霍布斯
La verdadera literatura no tiene fronteras; trasciende el tiempo y el espacio.
真正的文学没有边界；它超越了时间和空间。
何塞·希门尼斯·洛萨诺
人这一生，总要为了一些东西去拼命。
猫腻
割开的伤口，哪怕有时收缩到针孔一般大小，却仍然是伤口。痛苦留下的伤痕更像是断了一个手指，瞎了一只眼睛。我们也许在―年当中的任何时刻都不会因为少了一个手指或瞎了一只眼睛而感到不便，但即使我们感到不便，也根本没看办法补救了。
菲茨杰拉德
Globalization is an inevitable trend. We must actively explore the international market and enhance the international influence of Chinese stone brands.
全球化是必然趋势，我们要积极开拓国际市场，提升中国石材品牌的国际影响力。
张三
选有前景的行业，与聪明正直的人合作，是积累财富的基础。
埃里克·乔根森
行为一旦稍微偏离习惯，或者所吃的东西稍微与平时不同，就会导致非常危险的疾病。
柏拉图
Investing in technology today will define our ability to deliver cleaner energy tomorrow.
今天对技术的投资将决定我们未来提供更清洁能源的能力。
安迪·塞缪尔
I have not trodden through the conventional regular course which is followed in a University course, but I am striking out a new path for myself.
我没有遵循大学课程中传统的常规路径，而是为自己开辟了一条新路。
斯里尼瓦瑟·拉马努金
减碳不是去煤化，而是通过技术革新让煤炭更清洁。
凌文
A scientist’s greatest tool is not just their intellect but their imagination.
科学家最强大的工具不仅是智力，还有想象力。
路易斯·布鲁斯
我们感觉一幢建筑不吸引人，也许只是因为我们不喜欢我们通过过它的外表模糊辨别出来的某种生物或者人所具有的那种气质——正如认为另一幢大楼很美只不过感受到了一种如果放在一个人身上我们会喜欢的性格。归根结底，我们在一间建筑作品中找寻的跟我们在一个朋友身上找寻的东西并无太大不同。我们认为美的事物正式我们所爱之人的翻版。
阿兰·德波顿
人品高，则诗格高，心术正，则诗体正。
王国维
我的生活也是一条河，这条河用幻象，而非现实，隔开少年悉达多、成年悉达多和老年悉达多。悉达多的前世并非过去，死亡和重归梵天亦并非未来。没有过去，没有未来。一切都是本质和当下。
赫尔曼·黑塞
你们必须要杀死他们，否则他们就会杀死你们。戳穿他们的肚皮，或者击中他们的内脏。
巴顿