形式化方法不是银弹，但它们是追求可靠系统的重要工具。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
你的时间有限，所以不要为别人而活。不要被教条所限，不要活在别人的观念里。不要让别人的意见左右自己内心的声音。最重要的是，勇敢的去追随自己的心灵和直觉，只有自己的心灵和直觉才知道你自己的真实想法，其他一切都是次要。
史蒂夫·乔布斯
工字不出头，利用余暇做做小生意，略微动动脑筋，先把它当成副业，再发展下去也不迟。
蔡澜
A city's identity is shaped by its architecture and public spaces.
城市的身份由其建筑和公共空间塑造。
槙文彦
Love is not about possession, it’s about appreciation.
爱不是占有，而是欣赏。
艾丽西亚·凯斯
团体治疗的标准模式：一名治疗师带6~8名病人。团体中也许会有一个助理治疗师，偶尔，团体成员也可以自行聚集在一起讨论，而治疗师并不到场。
欧文·亚隆
我是纽约之王。
I'm the king of New York.
50美分
Efficiency is doing things right; effectiveness is doing the right things.
效率是把事情做对，效果是做对的事情。
托马斯·费舍尔
没必要非要画一位带枪的男人，一只苹果也同样可以预示革命。
毕加索
如果你有一个重要的观点，不要欲言又止和含糊其辞。而是应该像打桩机那样，直接敲上去，然后回来再打一次，然后再敲第三次——重击。
丘吉尔
给我们赦免的，是忏悔而不是牧师。
奥斯卡·王尔德
The dairy industry must balance tradition with progress to meet modern demands.
乳制品行业必须在传统与进步之间取得平衡，以满足现代需求。
莎拉·格林
我们应当敢于正视痛苦，尊敬痛苦！欢乐固然值得赞颂，痛苦又何尝不值得赞颂！这两位是姊妹，而且都是圣者。她们锻炼人类开展伟大的心魂。她们是力，是生，是神。凡是不能兼爱欢乐与痛苦的人，便是既不爱欢乐，亦不爱痛苦。凡能体味她们的，方懂得人生的价值和离开人生时的甜蜜。
罗曼·罗兰
紧张还是放松，都是生活给予的，什么时候给予什么，是生活的意愿，我们没的选择，只有接受。
余华
最难过的是看到你在我身边，却如此孤单。
马克·李维
路是人开的，树是人栽的。
谚语
The past is never dead. It's not even past.
过去从未死去，它甚至还没有过去。
保罗·哈丁
技术是工具，服务是目的。
马化腾
真正的领导力在于倾听人民的声音并采取行动。
若泽·路易斯·佩肖托
现实往往是：不行动，就体会不到这种方法的好处，体会不到好处自然也就觉得这种方法没什么用，所以，只有真正做过的人才能体会到写与不写，完全不同。很多时候，人与人之间真正的差距可能就体现在最后那一点点行动上。
周岭