计算的未来在于开发能够自我验证正确性的系统。
The future of computing lies in the development of systems that can verify their own correctness.
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
你想要某种东西时，整个宇宙会合力助你实现愿望。顺境让人进步，逆境使人成长，凡是经历，皆为馈赠。
保罗·科埃略
为了使自己不辜负父亲的爱和期望，我才能远离邪恶与错误，才能只身在外而并未被人海风涛所吞没。
罗兰
金融市场的稳定，关键在于监管的透明度和政策的可预期性。
李稻葵
音乐从我耳边飘过，就像邮差送来一封不属于我的信。
托马斯·艾略特
公司不断需要新技术、新方法，你不会的，就要学，学不会的，找个会的人来帮你。
小马宋
人的能力有无限伸展的可能。坚信这一点，面向未来，描绘自己人生的理想。在建立目标时，要设定“超过自己能力之上的指标”。
稻盛和夫
危机管理的艺术在于把筹码加到对手不会跟进的高度，但又避免和对手正面交锋。
亨利·基辛格
The past is never dead. It’s not even past.
过去从未死去，它甚至还未过去。
安妮·埃尔诺
人不是该死的时候死的，而是在能死的时候死的。
加西亚·马尔克斯
但对我们这些懂得生活的人来说，数字当然是无关紧要的！我宁可用童话的开头来讲这个故事。我想要这么说:“从前有个小王子，他生活的星球比他大不了多少，他想找个朋友…”对那些懂得生活的人来说，这会显得更加真实。
安托万·德·圣-埃克苏佩里
人们由于迷恋图画和文字，忘记了宇宙的语言。
保罗·科埃略
如果现在不醒过来，要等到什么时候呢？
杨定一
我劝天公重抖擞，不拘一格降人才。
龚自珍
有学问的傻瓜，要远比无知的傻瓜还要愚蠢。
伏尔泰
那都是很好很好的，我却偏偏不喜欢……
金庸
众和尚见了武大这老婆，一个个都迷了佛性禅心，关不住心猿意马，七颠八倒，酥成一块。
兰陵笑笑生
书到无穷处，笑看云起时，好一轮红太阳破空而出，光芒四射，前途一片光明，彼岸便是此身。
三毛
好景不常在，好花不常开。
谚语
万事万物，你若预测他的未来你就会说他有无数种可能，可你若回头去看他的以往你就会知道其实只有一条命定之路。
史铁生