Model checking is a powerful tool for verifying the correctness of hardware and software systems.
模型检查是验证硬件和软件系统正确性的强大工具。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
The smallest details often carry the most meaning.
最微小的细节往往承载着最深刻的意义。
乔恩·麦格雷戈
If your goal is anything but profitability - if it's to be big, or to grow fast, or to become a technology leader - you'll hit problems.
如果你的目标不是盈利——而是要做大，获得快速增长，或者成为科技行业的领军者——你将会面临很多问题。
迈克尔·波特
关于有效市场假说和随机漫步投资方法
巴菲特
不尊重你的人，100%都是瞧不起你的人，并不是他是个直性子，而是从心底深处不在乎你。当一个人不尊重你的时候，收起你的大方，不要去沟通，不要去交流，也不要去愤怒和难过，你只需无视远离。
莫言
无益之语莫妄说，不干己事莫妄为。
司马退之
使较弱的论点变得更强。
Make the weaker argument the stronger.
普罗泰戈拉
剩余价值是雇佣工人创造的被资本家无偿占有的超过劳动力价值的那部分价值。
马克思
在疫情面前，每个人都可以成为别人的光。
汪勇
荒岛交易我总是在想，假使一条乘着25个经纪人的船出了事，他们挣扎着游到一个荒岛上，没有获救的希望。为了尽量过得好点，他们开始发展经济。我想，他们会不会分出20个人来生产食物、衣服、住房等，而另5个人坐那儿永无止境地对那20人还没生产出来的产品进行交易呢？
本杰明·格雷厄姆
The proof of a system's value is its existence.
系统价值的证明是它的存在。
艾伦·佩利
日常生活、学校、文化等领域中努力的结果。
马卡连柯
Success is a lousy teacher. It seduces smart people into thinking they can't lose.
成功是个糟糕的老师。它诱使聪明人以为自己不会失败。
迈克·林奇
假设年初你有1亿美元，如果不上杠杆，能赚10%，上杠杆的成功率是99%，能赚20%，年末时你有1.1亿美元，还是1.2亿美元，有区别吗？没一点区别。要是年末你死了，写讣告的人可能有个笔误，虽然你有1.2亿，但他写成了1.1亿。多赚的钱有什么用？一点用没有。对你、对你的家人，对别人，都没用。
巴菲特
The essence of philosophy lies in its ability to question the unquestioned.
哲学的本质在于其质疑未被质疑的事物的能力。
韩水法
爱一个人决不潇洒，为自己留了后步的，也就不是爱。
舒婷
The silence is so deep it roars.
沉默如此深沉，以至于它在咆哮。
哈罗德·品特
Hasta la victoria siempre!
永久胜利时见！
切格瓦拉
离别时刻已到，我们分道扬镳，我去赴死，你们活着，哪一个更好？唯有神知道。
苏格拉底
钱在哪里，心就在哪里。
剽悍一只猫