形式化方法不是银弹，但它们是追求可靠系统的重要工具。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
那西门庆三不知走进门，两下撞了个满怀。
兰陵笑笑生
这个世界需要两种人——一种是抬头看星的理想主义者，另一种是低头修路的实干家。而最幸运的是，我们正成为第三种人：把星光铺成道路的人。
梁文锋
幻想属于黑夜，白天经不起浪费。
金星
The land does not forget its people.
土地不会忘记它的人民。
穆罕默德·达维希
认同我的价值的人，就是我的消费者，请跟我走。
史蒂夫·乔布斯
功名富贵，人间惊见白首；诗酒琴书，世外喜逢青眼。巿争利朝争名，伶逐势恶逐威。
郭德纲
池晓老师:不要站在问题一边打败孩子，而是站在孩子一边打败问题。
罗振宇
生活在没有人去生活之前是没有内容的，存在先于本质。
让-保尔·萨特
巴黎公社教训：“浪费了宝贵时间去组织民主选举而不是迅速地消灭凡尔赛军、没有毫不犹豫地全部没收银行的资产。”
马克思
一个人对社会的价值，首先取决于他的感情思想和行动对于人类利益有多大作用。
爱因斯坦
洞庭连天九疑高，蛟龙出没猩鼯号。
韩愈
感知他人的痛苦，并将其视为自己的痛苦，我认为这就像是证明人类高贵的最后防线。我想写的，就是因为他人的痛苦而产生的个人痛苦，那种极其深刻的痛苦的感觉。
韩江
为了成功地生活，少年人必须学习自立，铲除埋伏各处的障碍，在家庭要教养他，使他具有为人所认可的独立人格。
卡耐基
人文主义主要有三大分支。第一是正统派，认为每个人都是独特的，拥有独一无二的内在声音、永不重复的一连串体验。我们应该让每个人都尽量自由自在地体验世界、听从自己内心的声音、表达自己心中真实的想法。正统派也称为自由人文主义或自由主义。在19-20世纪，人文主义还是产生两个截然不同的分支，社会人文主义与进化人文主义。很多时候，自由主义会与古老的集体认同、部落情感相互融合，形成现代民族主义。
瓦尔·赫拉利
口头语言和书面语言都有两方面的本领要学习：一方面是接受的本领，听别人说的话，读别人写的东西；另一方面是表达的本领，说给别人听，写给别人看。口头语言的说和听，书面语言的读和写，四种本领都要学好。
叶圣陶
与其坐而言，不如起而行。
谚语
适度是极其致命的事情。过度带来的成功无可比拟。
Moderation is a fatal thing. Nothing succeeds like excess.
奥斯卡·王尔德
伟大的领导力在于创造更多的领导者，而不是更多的追随者。
Great leadership is about creating more leaders, not more followers.
理查德·霍奇森
我带着一个美丽的伤口来到这个世界，这便是我全部的陪嫁。
弗兰兹·卡夫卡