我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
食不厌精，脍不厌细。食饐而餲，鱼馁而肉败，不食；色恶，不食；臭恶，不食；失饪，不食；不时，不食；割不正，不食；不得其酱，不食。肉虽多，不使胜食气。惟酒无量，不及乱。沽酒市脯，不食；不撤姜食，不多食。
【译文】 粮食尽量精，肉类尽量细。变质的东西不吃；变色的东西不吃，变味的东西不吃；烹饪得不好不吃；不是吃饭的时间不吃；切的不好看不吃；调味品不好不吃。肉类虽多，但不要吃过量。只有酒不限量，但不要喝醉。从集市上买来的酒肉不吃；每餐必有姜，但不多吃。
孔子
改变的方法有四种：多做某些事情；少做某些事情；开始做一些事情；停止做一些事情。
博恩·崔西
对贝雅特里斯的爱慕完全改变了我的生活。昨天的我还是一个早熟的愤世嫉俗者，今天的我已成了圣殿的奴仆，一心想做圣人。我不但戒除了放荡的恶习，还渴望改变一切，将纯净、高雅和尊严带进一切事物中，包括饮食、语言和衣装。我变得严肃庄重，衣着正派，连走路的步伐都缓慢庄重了。旁人看来或许很怪异，然而在我心中，这是侍奉上帝的职责。
赫尔曼·黑塞
或许，他在想，并不算太晚，毕竟，我得到解救了。
凯特·迪卡米洛
I'm a fighter, I use negativity to fuel the fight within me.
我是一个斗士，我用消极情绪来激发内心的斗志。
蕾哈娜
一个爱惜荣誉的男人要是对一个女人过去的经历不是十分清楚，他绝不会挑她做妻子的。
比昂松
商业上可以解读为，到底是做一代人的生意，还是某个年龄段的人的生意，这最好想清楚。
王兴
"In the end, we are all just stories, told by others and ourselves."
最终，我们都只是别人和我们自己讲述的故事。
帕特里克·莫迪亚诺
当缺点放弃我们时，我们还自以为是我们抛弃了缺点。
拉罗什富科
我的科学成就很多是从音乐启发而来的。
爱因斯坦
最好的领导者是那些知道如何跟随的人。
The best leaders are those who know how to follow.
亨利·克劳德
伴随着每一条毒龙的产生，必有一个屠龙的圣乔治诞生。
纪伯伦
我们大家都是在为了某种“目的”而活着。这就是目的论。
岸见一郎
活的人才教育不是灌输知识，而是将开发文化宝库的钥匙，尽我们知道的交给学生。
陶行知
思想的多样性带来更好的解决方案。
Diversity in thought leads to better solutions.
琳达·库克
一个人的想法完全是偶然的，也就是说，人们的观点也是偶然的。
弗兰兹·卡夫卡
The beauty of literature is that it allows us to live a thousand lives.
文学的美在于它让我们活了一千次。
吉勒·勒鲁瓦
如果你设法要解决的问题自己都不理解的话，你会被痛殴的。
保罗·格雷厄姆
若能一切随他去，便是世间自在人。
释迦牟尼