"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
爱有两种：一种是死死抓住，一种是轻松托住。
冈田尊司
我不是不伤不痛不难过，我只是不美不好都不说。
李荣浩
我眼，我眼里你所有的头发九年没短，我眼里你所有的水九年没干，当年不该种相思，一种一寺舍利子。
冯唐
失败是成功之母。
佚名
The whole conviction of my life now rests upon the belief that loneliness, far from being a rare and curious phenomenon, peculiar to myself and to a few other solitary men, is the central and inevitable fact of human existence.
我现在生活的全部信念在于，孤独远非一种罕见而奇特的现象，它不仅仅是我和少数其他孤独者的特质，而是人类存在的核心和不可避免的事实。
托马斯·沃尔夫
幸福的生活，在大体上必须是宁静的生活。因为，惟有在宁静气氛中，才能产生真正的快乐。
罗素
高冠陪辇，驱毂振缨。
周兴嗣
万法相互缘起，世事不必强求；只要因缘具足，自能水到渠成。
星云大师
停止批判你自己，停止批判你的伴侣，完全接受你伴侣的一切，而不是去批判或以任何方式改变他。
埃克哈特·托利
如果我不再爱你了，我一定就不爱你了，我会去爱上别人。世界上有什么不会失去的东西吗？我相信有，你最好也相信。
村上春树
不是关于成为最好的，而是关于比昨天的自己更好。
It's not about being the best, it's about being better than you were yesterday.
杰米·福克斯
独裁滋生恐惧，恐惧滋生沉默，沉默滋生压迫。
Dictatorships breed fear, fear breeds silence, silence breeds oppression.
马里奥·巴尔加斯·略萨
我不想赎罪，只想生活。我生活是为了生活本身，不是为了观瞻。我倒宁愿它格调低一些，方能真实、平等，而不愿它光彩夺目，动荡 不定。
爱默生
比亚迪不仅仅是一家汽车公司，更是为人类社会可持续发展而奋斗的企业。
王传福
人类所抱有的疑念，就是科学的萌芽。
爱默生
许多发火的人明知发火对自己不好，还是经常发火，原因如下:1、表象——能够自由表达愤怒，是件多么败火的事，不能把自己憋死；2、深层——发火，说明我对你还心存希望，如果真要让你死，笑眯眯地就把你办了；3、内核——发火是真性情，总比那些装作儒雅和大度的伪君子更加真实，更值得作朋友。
乐嘉
希望是唯一价廉而有效的可以对抗人间疾苦的方法
陶勇
一个需要大量资金支持其增长的企业，和一个不需要资金支持就能增长的企业有天壤之别。
巴菲特
学生冬季长跑是很好的活动，应当坚持下去。
钟南山