"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
If you don’t make mistakes, you’re not working on hard enough problems.
如果你不犯错，说明你解决的问题还不够难。
克莱夫·辛克莱
偏见可以说是思想的放假，它是没有思想的人的日常家用，是有思想的人的星期日娱乐。
钱钟书
我们的努力，不过是想成为一个平凡的人。一个懒字不仅可以毁了你的梦想还可以毁掉你的人生。将来的你，一定会感谢现在拼命的自己。
佚名
我们每个人都孤独地生活在世界上，都被囚禁在一座铁塔里。
毛姆
“热情”能将智商水平提升25分。
凯文·凯利
The process of thinking is not just adding one thing to another; it consists in the operation of seeing structural features and structural requirements.
思考的过程不仅仅是把一件事加到另一件事上；它在于观察结构特征和结构要求的操作。
马克斯·韦特海默
牛市能使数学定律暗淡无光，但却不能废除它们。
巴菲特
如何达到退休状态？第一种方法是存钱。只要存款够多，被动收入（不用动一根手指）就能满足开销。第二种方法是把开销降为零——出家修行。第三种方法是做自己热爱的事情，完全乐在其中，有钱没钱无所谓。所以，实现退休状态有很多种方法。
埃里克·乔根森
做企业要敢于冒险，但不能盲目冒险，要在风险可控的前提下进行创新和尝试。
冯仑
如果一位交易者学不会如何正确区分对与错，那么他将永远原地转圈而毫无进展。
金融帝国
活着的意义就是死后无悔。
威廉·福克纳
无言独上西楼，月如钩，寂寞梧桐深院锁清秋。剪不断，理还乱，是离愁，别有一般滋味在心头。
李煜
但是，这些朝代几乎都没有留下任何印迹。像中国任何一个城市一样，这里的建筑的发展步伐掩埋了历史的遗迹。它们的目的仅仅是容纳人口，容纳天天在这里爬坡上坎、搏击车流、干活糊口、买进卖出的二十多万人。
彼得·海斯勒
家庭教育是根的教育，根深才能叶茂。
赵忠心
如果给过去5年的自己一个建议，就是激进再激进一点。
张一鸣
角落里，还是我孤独了，而你却不曾发现。
佚名
要想真正欣赏到这无边的美丽，我们必须看透自己个人生活的渺小和局限。
克里希那穆提
人生在世，有些事情，明知是错的，也要去做，因为不做会更错。
温瑞安
忍耐和坚持；这种痛苦会使你从中受益。
奥维德