"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
保持人格不仅靠功劳，也要靠忠诚。
歌德
夏天过去，秋天过去，冬天又来了，骆驼队又来了，但童年却一去不复返。
林海音
人生中最重要的决定不是你做什么，而是你不能做什么。
史蒂夫·乔布斯
性格即命运。性格可以超乎我们的意志之上来指导我们的思想和行为。
爱默生
因为他知道有一点更为重要，就是即便再聪明、再能干的管理层也难以拯救一个陷入困境的公司。
罗伯特·哈格斯特朗
有时候，所以爱钱是因钱不够多，所以爱权是因为权力太少，所以被骂是因为自己不够大。
李敖
The streets of Paris have a memory of their own.
巴黎的街道有自己的记忆。
帕特里克·莫迪亚诺
一步实际行动比一打纲领更重要。
马克思
老天爷在看着我们。我们做什么，老天爷都看得一清二楚，谁也骗不了它。
余华
为着后来的回忆，小心着意地描绘你现在的图画。
冰心
真正的G像千层面一样沉默行事。
Real G's move in silence like lasagna.
李尔·韦恩
蠢人总是提出千百年前的聪明人已经回答了的问题。
歌德
4.哗，扎你一刀，你这血还没擦干净了。他在那：“这都不叫事，要勇敢起来。”
郭德纲
重组其他水泥企业之后，着重建设核心利润区，提高产业集中度，增强在区域市场的话语权，使水泥价格合理回升，这是实现盈利的第二个关键点。
宋志平
建筑应该看起来像是从它的场地中自然生长出来的。
A building should appear to grow easily from its site.
约翰·伍重
项羽真是太有人情味了，太招女孩子爱了，恐怕那时的女孩子嫁人要嫁项羽这样的了。
易中天
怀抱希望，不要偷闲。
路易莎·梅·奥尔科特
我们耽误时光，好比白昼点灯一样。
莎士比亚
渔民是我们的根基，他们的福祉就是行业的福祉。
Fishermen are our foundation, their well-being is the well-being of the industry.
吴海生