模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
The challenge in model checking is not just to find errors, but to understand why they occur.
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
在制定年度目标的时候，千万不要把目标定得太满，只定两项足矣。一项是既重要又紧急的目标，第二项是重要而不紧急的目标。
张萌
.人文主义经济：顾客永远是对的；人文主义美学：看的人觉得美就是美；人文主义伦理：感觉对了，就做吧；人文主义教育：为自己想。
瓦尔·赫拉利
所有的动物，包括人，都天生具备一些智慧，一些与生俱来而非后天获得的灵感。
让·亨利·卡西米尔·法布尔
情知此后来无计，强说欢期。一别如斯，落尽梨花月又西。
纳兰性德
有这么一群人，在日本叫法西斯，在德国叫纳粹，在中国叫爱国者！
王朔
生活的艺术在于知道何时坚持，何时放手。
The art of living is to know when to hold fast and when to let go.
乔治·吉辛
Humanity's greatest enemy is itself.
人类最大的敌人是自己。
凯尔泰斯·伊姆雷
一个喜欢自由而独立阅读的人，是最难被征服的，这才是阅读的真正意义——精神自治。
斯蒂芬·茨威格
凡是美的都没有家，流星，落花，萤火，最会鸣叫的蓝头红嘴绿翅膀的王母鸟，也都没有家的。谁见过人蓄养凤凰呢？谁能束缚着月光呢？一颗流星自有它来去的方向，我有我的去处。心灵是最美的，所以心灵也没有家，没有归宿。我想，也许永恒的天堂是不存在的，因为如果上帝是可爱的，他也没有家。
沈从文
以希望为生的人，将绝食而死。
富兰克林
没有什么是请人搓顿美食不能解决的事情。一起吃顿好的对于巩固老朋友和结交新朋友都很有用。
Treating a person to a meal never fails， and is so easy to do. It’s powerful with old friends and a great way to make new friends.
凯文·凯利
不能使你发奋的爱，不如不爱。
拿破仑
最可笑的，是在痛恨这个男人的时候，却热切盼望他打电话给我。他用行动证实我们的明天。如果世上有很多种幸福，那是其中最动人的一种。我已失去所有尊严，哀求一个男人占有我，以为因此我可以占有他。你需要大量爱情，而我也许无法提供。-原来多少往日的温柔也无法弥补一次的伤害。我行使被抛弃的女孩的权利，使劲地将手上的书本、钱包、所有东西掷到地上。想不到当一个人被抛弃，正常也是一种罪过。-做第三者和做寡妇都很凄美。
张小娴
我不定义任何东西，不管是美，还是爱国。每件事该是什么就是什么，没有什么优先规则使之应该成为什么。
鲍勃·迪伦
小米的使命是让全球每个人都能享受科技带来的美好生活。
雷军
官僚主义往往与形式主义为伴。
杰克·韦尔奇
重要的不是真相，而是什么被认为是真相。
亨利·基辛格
成功，不是看你做成了多少事情，而是看你规避了多少糟糕的事情或者躲过了多少灾难的事情。
查理·芒格
球进啦！比埃尔霍夫！又是比埃尔霍夫！
黄健翔