计算的未来在于开发能够自我验证正确性的系统。
The future of computing lies in the development of systems that can verify their own correctness.
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
经济如果不能独立，则啥子都不用谈，衣食住行全靠他人施舍，却口口声声不愿做附属品，哀莫大焉。
亦舒
似乎我们总是很容易忽略当下的生活，忽略许多美好的时光，而当所有的时光在被辜负被浪费后，才能从记忆里将某一段拎出拍拍上面沉积的灰，感叹他是最好的。
钱钟书
只要具备了无知和自信，你就必然能成功。
马克吐温
When in doubt, tell the truth.
有疑问时，就说真话。
马克·吐温
慷慨，尤其是还有谦虚，就会使人赢得好感。
歌德
我认为有些人诞生在某一个地方可以说未得其所。机缘把他们随便抛掷到一个环境中，而他们却一直思念着一处他们自己也不知道坐落在何处的家乡。
毛姆
真正的闲暇并不是说什么也不做，而是能够自由地做自己感兴趣的事情。
萧伯纳
你应将心思精心专注于你的事业上。日光不经透镜屈折，集于焦点，绝不能使物体燃烧。
毛姆
生命的意义在于付出，在于给予，而不是在于接受，也不是在于索取。
巴金
你若想证实你的坚贞，首先证实你的忠诚。
弥尔顿
历史研究需要严谨的态度，任何结论都必须建立在扎实的史料基础之上。
南炳文
一个人你可以走得很快，一群人你可以走得很远。
张磊
因为重要，因为不想失去。隐藏着，伪装着。正因如此才一定会失去。于是，就会悲叹起失去。悲叹起比起失去还是不要得到会更好。悲叹起如果离手之时会后悔到死的话，还是放弃会更好。
渡航
因为一个世纪的牌戏与阅历已经教会她这个家族的历史不过是一系列无可改变的重复，若不是车轴在进程中必不可免地磨损，这旋转的车轮将永远滚动下去。
加西亚·马尔克斯
The dead are always listening. The dead are always watching.
死者一直在倾听。死者一直在注视。
希拉里·曼特尔
我不同意你说的话，但我愿意为你说话的权利而献出生命。
I disapprove of what you say， but I will defend to the death your right to say it.
伏尔泰
借与门前磐石坐，柳阴亭午正风凉。
范成大
如何处理事件都有好及不好的地方，凡事有人喜欢就有人不喜欢，很难得到全世界的赞成，每个人都有过去，人要向前行，一个没有过去的人怎么会有未来呢？
佘诗曼
Stories are the only way we have to make sense of the chaos around us.
故事是我们理解周围混乱的唯一方式。
瓦莱里娅·路易塞利