"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
管理众人的事便是政治。
孙中山
老好人往往太迁就，迁就世俗，迁就褊狭的家庭愿望，迁就自己内心中不大高明的因素；而真理和艺术需要高度的原则性和永不妥协的良心。物质的幸运也常常毁坏艺术家。可见艺术永远离不开道德——广义的道德，包括正直、刚强、斗争（和自己的斗争以及和社会的斗争）、毅力、意志、信仰……
傅雷
好奇心是人的本性。顺着新模型，寻找新知识，这会是一个自发的、兴趣盎然的过程。
罗振宇
许多看似的“知道”，其实恰恰是“无知”而从无知到有知，从有知到深知，唯一的途径就是哲学这门学科能够极大地锻炼一个人的逻辑力、思考力、理解力和结构力而这些能力最终将演化成一个很厉害的本事，即洞察力拥有洞察力的人，一眼就能看穿事物的本质，瞬间就能看到别人看不到的地方。
吉姆·罗杰斯
"The major threats to survival that our ancestors faced - predators, starvation, disease - left their mark on our fears and anxieties."
我们祖先面临的主要生存威胁 - 捕食者、饥饿、疾病 - 在我们的恐惧和焦虑中留下了印记。
戴维·巴斯
两人一般心，无钱堪买金，一人一般心，有钱难买针。
谚语
日知其所亡，月无忘其所能，可谓好学也已矣。
【译文】每天都学习一些自己所没有的知识、技能或所不懂的道理，每月都不忘记所学会的东西，这样就可以称为好学的人了。
孔子
感谢自己在那最艰难的时刻，从来没放弃过梦想。
孙颖莎
别理会那些陈归俗套，它们只会使优柔寡断的人延迟建立他们的未来生活。
大仲马
做事不必与俗同，亦不宜与俗异。做事不必令人喜，亦不可令人憎。
释迦牟尼
梦想家只能在月光下找到前进的方向，他为此遭受的惩罚是比所有人提前看到曙光。
奥斯卡·王尔德
你在这个土地上的时候，你感觉不到它跟你有多密切的联系。一旦当你离开了这个地方，你就会产生一种魂牵梦绕的感受。
莫言
治理国家就像管理一个大家庭，需要智慧、耐心和爱心。
路易十四
‘德艺双馨’是我奋斗的目标，是被观众评价的，不是自己随便说的。我出任这些公益活动的形象大使，最大收益是感受到，富有爱心的人更受别人尊敬。
孙俪
有生之年我都会继续经营波克夏，之后我可能会透过降神会工作。
巴菲特
教育的目的，在于解决问题，所以不能解决问题的，不是真教育。
陶行知
我常常觉得，一个人的生活，不过是一本书的几页罢了。
废名
奖励是对人的某种行为给予肯定与表扬，以使人保持这种行为。
郑英
The only thing that can make you a winner is your resilience.
唯一能让你成为赢家的是你的韧性。
塔莉亚