"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
多数人都醉心于即时满足，懂得延时满足的人，已经先胜一筹了。
张磊
太早绽放，虽然抢了先，却也伤了本。
刘墉
不知道什么艰难困苦，只知道风雨无阻；不知道什么悲伤无助，只知道天无绝路；不知道什么失败惨楚，只知道重新阔步，不知道什么荆棘密布，只知道昂然走去。
梁漱溟
The Langlands program is a challenge to our understanding of the fundamental nature of mathematics.
朗兰兹纲领是对我们理解数学基本本质的挑战。
罗伯特·朗兰兹
书有未曾经我读，事无不可对人言。
弘一法师
幸福是灵魂的一种香味，是一颗歌唱的心的和声。而灵魂的最美的音乐是慈悲。
罗曼·罗兰
你越是故意装着对一件事漠不关心，反而显得你对它特别关心。尤其是女孩子。
古龙
破裂的友谊虽然能恢复，但却再也达不到亲密无间的程度了。
托·富勒
兔而顾犬，未为晚也；亡羊而补牢，未为迟也。
解释：看到兔子再回头唤猎狗，还不算太晚；跑掉了羊再去修补羊圈，也不算太迟。
刘向
眼泪不是为自己而流，是为了捍卫荣誉而流。
孙颖莎
长日尽处，我来到你的面前，你将看见我的伤痕，你会知晓我曾受伤，也曾痊愈。
泰戈尔
弱者坐待时机，强者制造时机。
居里夫人
把人分成好和坏是荒谬的。人要么迷人，要么乏味。
王尔德
像你这样的女孩喜欢玩乐，我也是。
Girls like you love fun, and yeah me too.
魔力红
“将军百战身名裂，向河梁，回首万里，故人长绝，易水萧萧西风冷，满座衣冠似雪，正壮士悲歌未彻……
金庸
信仰是人类认识自己智慧的力量的结果，这种信仰创造英雄，却并不创造而且将来也不会创造上帝。
高尔基
能力来自于更多的选择，智慧来自于多角度视野。
冯晓强
当有人在伴侣关系中认为自己有权责备、教育或者改变另一半时，他是在假设自己拥有只存在于亲子关系中的父母对孩子的权力，结果常常是让另一半因为压力变得疏离，并且在关系外寻找平衡和出口。
伯特·海灵格
我一向是不关心大盘涨跌的，我只关心市场中有没有符合我的投资标准的公司。
吉姆·罗杰斯