"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
胸中不平之气，说倩山禽；世上叵测之心，藏之烟柳。
陈继儒名人名言哲理格言警句语录 陈继儒
在京东，我们相信：简单相信，傻傻坚持。
徐雷名人名言哲理格言警句语录 徐雷
The best art is the art that stays with you.
最好的艺术是留在你心里的艺术。
杰里米·戴勒名人名言哲理格言警句语录 杰里米·戴勒
从出生到大约四五岁的时候，发生的一切都对你影响重大，还影响了你后来的成长，牵涉到你怎样看待自己和别人。
罗伯特·戴博德名人名言哲理格言警句语录 罗伯特·戴博德
知道≠理解，理解必须落地实践。
李笑来名人名言哲理格言警句语录 李笑来
很久以后，我和姐姐才承认我们的种子不会长出绿芽了。与这点认识相继到来的是打架和互相指责，只有这样才能缓解我们的内疚。多年来我始终认为姐姐的话是对的：是我的过错，我把种子埋得太深。我们俩谁都没有意识到可能是土壤本身太贫瘠。我们把种子撒在自家的小块黑土地里，就像佩科拉的父亲把他的种子撒在他自己的黑土地里。我们的天真、信念跟他的兽欲或称绝望一样，颗粒无收。事情已经很清楚了，所有那些希望、恐惧、情欲、爱和悲伤都没有留存下来，除了佩科拉和那片贫瘠的土地。乔利·布里德洛夫死了，我们的纯真也死了。种子枯死了，她的孩子也死了。
托妮·莫里森名人名言哲理格言警句语录 托妮·莫里森
葡萄酒是最有益健康和卫生的饮料。
The wine is the most healthful and hygienic of beverages.
路易斯·巴斯德名人名言哲理格言警句语录 路易斯·巴斯德
凡感情的问题，以佛教而言，只要产生了执著，不论同性、异性，都是身心痛苦的来源。
星云大师名人名言哲理格言警句语录 星云大师
教会不应成为贵族的专属领地，而应成为穷人的避风港。
约翰·卫斯理名人名言哲理格言警句语录 约翰·卫斯理
我努力想起阿里那张冰冷的脸，想真的见到他那双安详的眼睛，但时间很贪婪 —— 有时候，它会独自吞噬所有的细节。
卡勒德·胡赛尼名人名言哲理格言警句语录 卡勒德·胡赛尼
微风可以做到的，我未必能做到。小鸟可以做到的，我未必能做到。你能做到的，我未必能做到。
几米名人名言哲理格言警句语录 几米
企业文化是企业的灵魂，它决定了企业的价值观、行为准则和发展方向。
段永平名人名言哲理格言警句语录 段永平
坦白直爽最能得人心。
巴尔扎克名人名言哲理格言警句语录 巴尔扎克
要看一个人是不是真有价值，且在他的欲望前面，在他的事业前面设下重重障碍。若真有本领自会克服困难或绕过障碍的。
司汤达名人名言哲理格言警句语录 司汤达
改变的秘诀是将你所有的精力集中在建设新事物上，而不是与旧事物斗争。
The secret of change is to focus all of your energy, not on fighting the old, but on building the new.
戴维·麦克米伦名人名言哲理格言警句语录 戴维·麦克米伦
命运总是知道怎样把它需要的人找来，去完成自己神秘的使命，尽管这个人在命运面前想躲藏起来，但无济于事。
斯蒂芬·茨威格名人名言哲理格言警句语录 斯蒂芬·茨威格
我们的生命虽然短暂而且渺小，但是伟大的一切却正由人的手所造成。
屠格涅夫名人名言哲理格言警句语录 屠格涅夫
保持本色，做独一无二的自己。
卡耐基名人名言哲理格言警句语录 卡耐基
余感觉美国人民亦有同样之正直德性。彼等不肯以他人所付之自由代价，而本身享受其利，我言然乎？此种高尚正直及愿为共同目标而共同忍苦工作奋斗之感觉，即为中美两国人民共同之立场。
宋美龄名人名言哲理格言警句语录 宋美龄