"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
母亲，原来是个最高档的全职、全方位CEO，只是，没有人给薪水而已。
龙应台
没有翻不过的山，没有过不去的河。
莫言
爱情不是占有，而是成全。如果你真的爱一个人，就应该让她幸福，哪怕这份幸福与你无关。
唐家三少
男人有钱不变坏，母猪上树变妖怪！
陈赫
接受失败，不要为失败而沮丧。
巴尔扎克
金融市场的开放必须与国内金融体系的改革和完善同步推进。
王广谦
水似柔却刚，中国人喜欢内刚外柔，内方外圆，心中有原则，而且十分坚定，表现出来的，却是相当随和，好像怎么样都可以。中华民族看似软弱，有时还带点懦弱怕事的味道，但是几经外侮，却能够显现坚强无比的不可征服性。我们敬天、事天、顺天，有时候也会大骂老天爷不长眼睛。
曾仕强
5、或许沃尔特爱她爱得十分强烈，以至于他准备接受任何屈辱，只要她偶尔还能让他爱一爱就行。……有的人竟然会爱得如此卑贱。
毛姆
伤口是光进入你内心的地方。
The wound is the place where light enters you.
阿多尼斯
制定跳起来才可能够得到的目标。
杰克·韦尔奇
给孩子尽可能多一些体验的机会，不以成败论英雄，而是注重发现孩子特有的潜能优势。即使孩子的优势并非父母所好，也要给予特别的尊重和支持。
孙云晓
The more successful I become, the more I need a man who is not intimidated by me.
我越成功，就越需要一个不会被吓倒的男人。
碧昂丝
人生中的困难和挫折，正是我人生的起点，或许也正是我最大的“幸运”。
稻盛和夫
The rate at which a person can mature is directly proportional to the embarrassment he can tolerate.
一个人成熟的速度与他能忍受的尴尬成正比。
道格拉斯·恩格尔巴特
在诗歌的花园里，每一朵花都是一个词，每一个词都是一朵花。
In the garden of poetry, every flower is a word, and every word is a flower.
弗雷德里克·米斯特拉尔
我活在过往的时光里，早已死去的记忆一个个复活过来，它带来昨日的气息与情感。
冯骥才
语言不仅仅是交流的工具；它是通往灵魂的桥梁。
"Language is not just a tool for communication; it is a bridge to the soul."
吉丹贾丽·斯里
当孩子成年后对父母说:“我从你们那里得到了很多，而那已经足够了。我会一辈子带着你们所给予的礼物。”这将为他带来丰盛和满足的感觉，并且他能够说：“其他我所需要的，我将为自己创造。”这也是会带来极大益处的语句。这会使这个孩子独立。
伯特·海灵格
我的.脚跟再一次挨到罗西南特的肋骨，我挽着盾牌，重上征途。
切格瓦拉