"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
思想和见识的提升是什么？比如你本来对这事情不是那么理解，最后理解了；本来对一件事情的思考是狭隘的，后来变得宽广了；本来看一件事情在相对比较低的维度上，但后来通过自己的学习和努力，提到了一个更高的维度上。
俞敏洪
杰弗里·泽尔德曼说过：内容重于设计。缺少内容的设计不是设计，只是装饰。
赖德·卡罗尔
在黑暗中，人们更容易看清自己内心的光芒。
张弦
人可以控制行为,却不能约束感情,因为感情是变化无常的。
尼采
归根结底，我们只能明白自我真正了解的人，我们只能完全了解我们真正喜爱的人。
林语堂
不会从失败中寻求教训的人，将永远无法成功。
拿破仑
云霞出海曙，梅柳渡江春。淑气催黄鸟，晴光转绿苹。
杜审言
世上最可怕的事，是两人交往，你拿别人当朋友，别人没拿你当朋友；这时候就容易交浅言深；不遇上事好点，遇上事，就会自取其辱。交友时要注意，知人知面不知心，不要急着掏心掏肺，要用时间验证一下。人最重要就是做好自己，勿在别人心中修行自己，勿在自己心中强求别人。
刘震云
我无法一直在你身边。
You know, I'm not always going to be around to help you...
查尔斯·舒尔茨
一叶浮萍归大海，人生何处不相逢。
吴承恩
幸福存在于内心。
Happiness is found within.
瑞奇·马丁
大清早阴云密布，严霜打得青草凋残，浓雾笼罩城上矮墙，南街上车儿正等待出发，东门外别宴也已停歇。垂柳正拂人面，柔嫩的杨枝已可以编结。我以手掩面拭泪，亲自把送别柳枝采折。想那时汉浦别后，他就如鸿雁不知飞向何处？长时间音信断绝。
奥斯特洛夫斯基
Setting goals is the first step in turning the invisible into the visible.
设定目标是将不可见变为可见的第一步。
托尼·罗宾斯
有目的的和有系统的感化作用，以便在受教育者的身心上养成教育者所希望的品质。……如培养一定的世界观、道德和人类公共生活规范，养成一定的性格和意志、习惯和兴趣，发展一定体力上的本质等等。
加里宁
这是我最欢喜的独处时刻，没人认识我，我不必理会谁，自世俗的胶着状态抽离而去，进入飘荡程序：微喜、微晃、微微苏醒。
简媜
习惯于绝望的处境比绝望的处境本身还要糟。
加缪
友谊是人生的调味品，也是人生的止痛药。
爱默生
可爱的眼睛，善于探寻别人的优点。
奥黛丽·赫本
十年生死两茫茫。不思量，自难忘。千里孤坟，无处话凄凉。纵使相逢应不识，尘满面，鬓如霜。夜来幽梦忽还乡。小轩窗，正梳妆。相顾无言，惟有泪千行。料得年年断肠处，明月夜，短松冈。
苏轼