"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
一同去承受人世的危难,一同去轻蔑现实的限定,一同眺望那无限与绝对,于是互相发现了对方的存在,对方的**,难离难弃,这才是爱情吧。
史铁生
“数学有什么用”和“学数学有什么用”是不一样的，他困在后面的逻辑圈里，就像大部分年轻人目前的心态。他们的学习态度无比端正，志向远大，却从根本上认为学习只是一个达到目的的手段，而不是将学习本身当作一件非常有趣的事情。对于为什么要学习，他们的了解仅此而已。
理查德·费曼
好消息就藏在持续累积的改善里坏消息的到来，像戏剧，而好消息则是点滴递进的，经常被认为没有价值。
罗振宇
你一生中最起码要做的事情是弄清楚你所希望的。而你能做的最多的事情就是活在那个希望之中。不是远远地欣赏它，而是直接生活在它的庇护之下。
The very least you can do in your life is to figure out what you hope for. And the most you can do is live inside that hope. Not admire it from a distance but live right in it, under its roof.
芭芭拉·金索尔弗
侦探的职责，不仅在破案，尤在预防罪案的发生。
程小青
自由不是恩赐，而是必须争取的权利。
Freedom is not a gift, but a right that must be fought for.
密茨凯维奇
所谓戒律，不是要你一味克制地生活，而是训练某种高贵的品性，是其成为习惯，成为自然流露，而非做作。
曲黎敏
每个人都应追问生命的意义；并且，每个人只有通过承担他自己的生活才能向生命做出回答；他只有通过成为负责任的人才能对生活做出反应。
维克多·弗兰克尔
当然不是今天犯了错误的干部，以后都没有希望了，事物是发展变化的，每一个干部都要真正触及自己的灵魂，糊弄是糊弄不过去的，因为时间会对每一个人作出最正确的判断。
任正非内部讲话稿
任正非
聪明外露者德薄，词华太盛者福浅。
曾国藩
时刻就像海绵里的水，只要愿挤，总还是有的。
鲁迅
我默默地想，慢慢地写。看见冬阳下的骆驼队走过来，听见缓慢悦耳的铃声，童年重临于我的心头。
林海音
时间流逝，带走了我们的青春，却留下了无法磨灭的痕迹。
安妮·埃尔诺
如果进进出出是你主动选择的，那么说明你不够忠诚；如果你是被动离开的，那么你做事的风格活着你的个性肯定有问题。
俞敏洪
社会总是充满着矛盾。即使社会主义和共产主义社会也是如此，不过矛盾的性质和阶级社会有所不同罢了。既有矛盾就要求揭露和解决。有两种揭露和解决的方法：一种是对敌（这说的是特务破坏分子）我之间的，一种是对人民内部的（包括党派内部的，党派与党派之间的）。前者是用镇压的方法，后者是用说服的方法，即批评的方法。我们国家内部的阶级矛盾已经基本上解决了（即是说还没完全解决，表现在意识形态方面的，还将在一个长时期内存在。另外，还有少数特务分子也将在一个长时间内存在），所有人民应当团结起来。但是人民内部的问题仍将层出不穷，解决的方法，就是从团结出发，经过批评与自我批评，达到团结这样一种方法。
毛泽东
贪吝常常产生各种对立的效果：许多人为了某些可疑和遥远的期望牺牲他们的所有财产；另一些人却为了现在的蝇头微利而轻视将要来临的重大利益。
拉罗什富科
好好活着，活着就有希望。
陈忠实
尊重自己，尊重他人。
吉姆·罗杰斯
既然在爱或停止爱方面决不是自由的，情人们就没有权利相互抱怨对方的变心和轻浮。
拉罗什富科