形式化方法不是银弹，但它们是追求可靠系统的重要工具。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
急忙打开书，一页，两页，我像一匹饿狼，贪婪地读着。我很快乐，也很惧怕——这种窃读的滋味！
林海音
"I always try to put a little bit of humor in my drawings, because I think it makes them more enjoyable."
我总是试图在我的画中加入一点幽默，因为我认为这会让它们更有趣。
昆廷·布莱克
我不认为存在极限。
I don't think limits.
尤塞恩·博尔特
勤奋和坚持是成功的法宝。
巴尔扎克
The very shaping of history now outpaces the ability of men to orient themselves in accordance with cherished values. And which values? Even when they do not panic, men often sense that older ways of feeling and thinking have collapsed and that newer beginnings are ambiguous to the point of moral stasis.
历史的塑造现在超过了人们根据珍视的价值观来定位自己的能力。哪些价值观？即使没有恐慌，人们也常常感觉到旧的感觉和思维方式已经崩溃，而新的开始模糊到道德停滞的地步。
赖特·米尔斯
宁做老实人，不装聪明人。宁可无钱，不可无耻。
谚语
员工需要以高层管理者的视角看事物，以便感受到自己与所有层级、所有部门都必须解决的问题有真正的联系，这样公司才能发现每个环节上的问题和机会，并采取有效行动。
帕蒂·麦考德
Without lies, humanity would perish of despair and boredom.
没有谎言，人类会因绝望和无聊而灭亡。
阿纳托尔·法朗士
喜欢一个人的心情是不听劝的，你以为我在遭受冷遇的时候，没有劝过自己吗？
八月长安
不是人主认真，好事儿之臣为知县计过也。
桓宽
人们总是试图通过创造来对抗死亡。
佚名
好的软件特征是，明明没用过，但总觉得用过似的
罗永浩
The human figure is the most important thing to me.
人体对我来说是最重要的东西。
安德鲁·怀斯
我们的遭遇是配合我们需要的某种情绪而产生的，这是我们的一种模式，习性。比方说，你常常我不被爱的感受的话，你就写：我看见我在寻求不被爱的痛苦感受，我全心地接纳这种感受，并且放下对它的需要。
张德芬
和雪嚼梅花，羡道人之铁脚；烧丹染香履，称先生之醉吟。
陈继儒
恶魔不过就是一种能力，只要能力足够强大，就有机会扭转和改变一切。
麦哲伦
吝啬的国度，女人只会对意志坚强的男人俯首称臣，因为只有这样的男人才能带给她们安全感，她们渴望那种安全感，以面对生活的挑战。
加西亚·马尔克斯
宁可荤口念佛，不可素口骂人。
佚名
有的人就是能够接受自己永远都不会摆脱焦虑的事实，学会与它和平相处。
弗雷德里克·巴克曼