The future of computing lies in the development of systems that can verify their own correctness.
计算的未来在于开发能够自我验证正确性的系统。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
我爱争论，我爱辩论。我可不预期有人就安静的同意我的说法。这不是他们的工作。
撒切尔
意义不是我们“发现”的东西，而是我们通过克服挑战而“创造”出来的东西。
米哈里·契克森米哈赖
机制就是企业效益和员工利益之间的正相关关系。企业如果有好的机制，做好企业不需要神仙，如果没有好的机制，神仙也做不好企业。
宋志平
一项发现越是简单和明显，我们就越不容易通过复杂的方法将其弄明白。
塔勒布
只有一种方法可以在生活的游戏中崛起，那就是爱上它。
桑迪普·马赫什瓦里
竞争越小，成功的概率越高。
吉姆·罗杰斯
心是冷的泪是热的心，凝固了世界泪，温柔了世界。
冰心
学术自由是科学进步的生命线。
马寅初
我写作是为了理解那些无法理解的事物。
I write to understand what cannot be understood.
大江健三郎
语言不是描述现实的工具，而是现实本身。
Language is not a tool for describing reality, but a reality in itself.
汤姆·麦卡锡
女人要什么天才？长得好就是天才。
贾平凹
México es un país de espejos rotos, donde cada fragmento refleja una realidad distinta.
墨西哥是一个破碎镜子的国家，每个碎片都反映着不同的现实。
卡洛斯·富恩特斯
记忆是抵抗遗忘的最后堡垒。
杨显惠
我不在乎钱。我只想做音乐。
I don't care about money. I just want to make music.
艾米·怀恩豪斯
多少年后，城南游艺园改建成屠宰场，偶然从那里经过，便不胜今昔之感。这并非是眷恋昔日的热闹的生活，那时的社会习俗并不值得一提，只是因为那些事情都是在童年经历的。那是真正的欢乐，无忧无虑，不折不扣的欢乐。
林海音
小学时，教师教我们，要有一个远大的理想；中学时，教师教我们，要有一个远大的理想。可是大学毕业了，我还是不知道，自己远大的理想是什么！
刘新吾
我们反复做的事情造就了我们，因此卓越不是一种行为，而是一种习惯。
亚里士多德
世界上没有哪一道伤口是永远不能愈合的，虽然愈合后在阴雨的日子还是会感觉到痛。
迟子建
云计算让全球竞争的门槛降低了，但竞争的强度提高了。
胡晓明