"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
真正的幸福的源泉在我们自身。一个人只要自己善于追求幸福，别人是无法使他落到真正悲惨的境地的。
卢梭
The secret of change is to focus all of your energy, not on fighting the old, but on building the new.
改变的秘诀是将你所有的精力集中在建设新事物上，而不是与旧事物斗争。
戴维·麦克米伦
All law is originally formed by custom and popular faith, next by jurisprudence—everywhere, therefore, by internal silently-operating powers, not by the arbitrary will of a law-giver.
所有法律最初都是由习俗和民众信仰形成的，其次是通过法学——因此，在任何地方，都是由内在的、默默运作的力量所形成，而不是由立法者的任意意志所决定。
弗里德里希·卡尔·冯·萨维尼
如果一阵风或者几滴雨阻止了我做这些简单的事情，这样的懒惰让我如何为自己规划的未来做好准备？
夏洛蒂·勃朗特
他从远处走来，身后背着一片光海。
夏目漱石
我有时感觉到我在大量流血仿佛一道涌泉有节奏的啜泣我听到血在哗啦啦啦地长流可是摸来摸去却摸不到伤口。
波德莱尔
当一个人品尝到孤独与恬静的美味时，便不会产生恐惧的心理和犯罪的行为。
释迦牟尼
正如保罗·瓦莱里曾经写道的：“人们得忽略多少东西才能让自己有效地行动。
塔勒布
一个好的人物你就会有这样的感觉，咣的一声人就站起来了，直接就站向你，你就看到这个人了！
袁立
一生没有虚过，能够愉快地死，如同一天没有虚过，能够安眠！
达·芬奇
科学应该为人类服务，而不是反过来。
Science should serve humanity, not the other way around.
詹妮弗·杜德纳
每个人生来都是君王，但大多数在流亡中死去。
王尔德
产品真的有可能是同质化的，但是品牌从来没有同质化——你的符号、口号、形象都不一样。
小马宋
我不喜欢永远，因为两个人其中一个人不在了，就不是永远了。
林孝谦
当你有时间去提升自己时，何必浪费时间一遍又一遍去证明自己很杰出？
卡罗尔·德韦克
创业要像鸟群一样，要有迁徙。
雷军
市场经济的本质是让价格机制发挥作用，而不是让政府去替代市场。
周其仁
想象力比知识更重要，因为知识是有限的，而想象力概括着世界上的一切，推动着进步，并且是知识进步的源泉。
爱因斯坦
我们永远要像充满好奇心的孩子一样，站在我们诞生于其中的的巨大奥秘面前，惊叹不已。
We never cease to stand like curious children before the great mystery into which we were born.
爱因斯坦