"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
今天很残酷，明天更残酷，后天更美好。但大部分人都死在了明天，只有坚持的人才会迎接美好。
马云
我们不只是制造化学品，我们推动进步。
We don't just manufacture chemicals; we enable progress.
詹姆斯·怀特
The most powerful art is often the most humble.
最有力的艺术往往是最谦逊的。
杰里米·戴勒
法律是没有激情的理性。
亚里士多德
我们每天用于学习的时间是十分有限的，精力也有天花板。所以，很有必要对要学习的对象及其价值预先评估和识别，甄别那些有用的知识，为它们设立优先、重要等级，将大部分的精力用于学习最高等级的知识。你要知道，我们学习的目的不是单纯为了记住知识，而是使用知识。
理查德·费曼
老年人相信一切，中年人怀疑一切，青年人什么都懂。
奥斯卡·王尔德
重要的不是竞争本身，而是竞争的具体方式。
谢作诗
死就是生的不可割除的影子，就是生命那充满喜悦爱情青春和成就的喜气洋洋的日要的形影不离的旅伴，并且越是临近日落，那不祥的阴影就越长越明显。
尤里·邦达列夫
恨并非爱的对立面，冷漠才是。
罗洛·梅
AI is like electricity, it will transform every industry.
人工智能就像电力一样，将改变每一个行业。
李彦宏
遇见了，爱过了，受伤了，心被占据了，就再也腾不出地方给别的人，也没有余力重来一遍，于是才有了所谓的“唯一”之说。
辛夷坞
The progress of science depends not only on individual brilliance but also on collective effort.
科学的进步不仅依赖于个人的才华，也依赖于集体的努力。
钱人元
Competition is a tough weed, not a delicate flower.
竞争是一种顽强的野草，而非娇嫩的花朵。
乔治·斯蒂格勒
人生短短一百年，短到来不及遇见，来不及深爱，来不及坚持，来不及勇敢，就匆匆结束。
李梦霁
通常情况下，选择献身艺术的人，都曾自视与众不同。然而他很快会发现，自己的艺术、自己的与众不同，往往就扎根在与所有人的相似中。
加缪
即使通过自己的努力而知道一半真理，也比人云亦云地知道全部真理还要好些。如果你想独占真理，真理就要嘲笑你了。
罗曼·罗兰
每一次拖延，其实都会把路变得更窄，可又不能不走。
马伯庸
爱情对她来说，应该突然而来，光彩夺目，好像从天而降的暴风骤雨，横扫人生，震撼人心，像狂风扫落叶一般，把人的意志连根拔起，把心灵投入万丈深渊。
福楼拜
上世纪最最聪明的人尼采以前写上了这句可怕的话：最好不要做身患不治之症者的医生。在尼采交给我们解析的那些前后矛盾资料危险的句子里面，这差不多是最最错误的一名话了。实际上正好反其道而行之才对啊。我要说，要做医生，恰好要做身患不治者的医生，甚至要进一步；一个医生如果一开头就理解了“无法治愈”这个概念，他就抛弃了自我的使命，临战之前已经缴械投降。
斯蒂芬·茨威格