"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
爱就是试图理解对方。
愛とは、相手を理解しようとすることだ。
凑佳苗
不想改过的人，无法调教；不想向善的人，无法得度。
星云大师
成功的人只是相信自己、肯定自己所作所为的平凡人。永远不要、绝对不要廉价出售自己。
约翰·洛克菲勒
一套茶具有：茶海、盖碗、公杯、饮杯、茶则、茶针、茶夹、注春、天目盏、兔毫盏、油滴盏、斗笠盏、风炉、菊花炭、炭篮、烧壶。
贾平凹
幸福是旅程，而不是目的地。
Happiness is the journey, not the destination.
邦·乔维
所有的幸福都依赖于勇气和工作。
All happiness depends on courage and work.
巴尔扎克
The idea of equilibrium is central to understanding strategic behavior.
均衡的概念是理解战略行为的关键。
约翰·纳什
注重自己的名声，努力工作、与人为善、遵守诺言，这样对你们的事业非常有帮助。
俞敏洪
人生路上，有时候慢就是快，稳扎稳打。急于求成可能适得其反。
曾仕强
Sustainability in mining isn't an option—it's a necessity for our future.
采矿业的可持续性不是可选项，而是我们未来的必然选择。
格雷戈里·博伊德
创造力需要勇气。
Creativity takes courage.
山本健一
大部分人都是过于匆忙地普遍化，但是人性本身或者人生本身就很复杂。所以为什么魏征曾经在临死之前给太宗皇帝有一个奏疏：爱者惟见其善，恨者惟见其恶。意思是你喜欢一个人你就老是看到他的优点，你讨厌一个人就老是看到他的缺点。但是一个人一定是优缺点并存的，所以就不要那么偏激，有的时候还是要以一种多元、包容、和光同尘的这样一种态度来看待别人。
罗翔
任何痛苦事件都不会自动消失，哪怕再小的事情也是如此。要想不受其困扰，唯一的办法就是正视它、看清它、拆解它、化解它，不给它进入潜意识的机会，不给它变模糊的机会；即使已经进入潜意识，也要想办法将它挖出来。
周岭
The act of writing is an act of optimism. You wouldn't take the trouble to do it if you felt it didn't matter.
写作是一种乐观的行为。如果你觉得它不重要，你就不会费心去做。
彼得·凯里
已去之事不可留，已逝之情不可恋，能留能恋，就没有今天。
亦舒
投资是投机错误的借口。
乔治·索罗斯
一个人年轻的时候，当学生的时候，倘若不把马克思主义“身体力行”，在大大小小的事情上实地运用，那么一朝到社会上去，遇到无论怎么微小的事，也运用不了一分一毫的马克思主义。所谓辩证法，所谓准确的世界观，必须到处用得烂熟，成为思想的习惯，才可以说是真正受到马克思主义的锻炼。否则我是我，主义是主义，方法是方法，始终合不到一处，学习一辈子也没用。从这个角度上看，马列主义绝对不枯索，而是非常生动、活泼、有趣的，并且能时时刻刻帮助我们解决或大或小的问题的——从身边琐事到做学问，从日常生活到分析国家大事，没有一处地方用不到。
傅雷
"The past is a shadow that follows us, but it is the light ahead that guides our steps."
过去是跟随我们的影子，但前方的光指引我们的脚步。
让-保罗·迪布瓦
生活不能改变，我就改变，谁也甭想破坏我的好心情。
王朔