"Verification is not just about finding bugs; it's about understanding why the system works the way it does."
验证不仅仅是发现错误；它关乎理解系统为何以某种方式工作。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
在金钱与爱情面前卖弄自尊，是最愚蠢的事。
亦舒
手艺是什么？就是天天做，重复做，然后积累出来的认知。这样的认知无法言传，只有功夫到了才有。
罗振宇
互联网业对经济活动的转移，对国家的税收体制也产生着很大的影响，即收不到税。
郑永年
强大却卑劣之物让人有被羞辱质感，但强大且尊贵之物使我们敬畏。 羞辱感是人类永远的危机。我们的意志常被违抗，愿望也常被阻挠。崇高的景观不会因此而直接揭示我们的不足。它们的吸引力在于提供我们一个新颖和有效的方法，去面对我们愿已熟悉的缺憾。壮阔的景致以宏伟的方式，重复着日常生活经常施予我们的教训：宇宙强而有力，而人类脆弱不堪；人的生命是脆弱和短暂的；
阿兰·德波顿
幸运在每个成功的事例中都扮演重要角色。我们总能很容易地发现，这个事例中一个小小的改变就会将伟大的成就变得平淡无奇。
丹尼尔·卡尼曼
Chrome-free isn't enough; we need guilt-free.
无铬是不够的；我们需要无愧于心。
莎拉·威廉姆斯
你很轻易就放弃了。你都没有试过，却总是先想着“行不通”，这样肯定不会成功呀。
博多·舍费尔
上流社会尊重我们的才能，大众则敬仰我们的名望。
拉罗什富科
The truth is that life is delicious, horrible, charming, frightful, sweet, bitter, and that is everything.
真相是，生活既美妙又可怕，既迷人又恐怖，既甜蜜又苦涩，这就是一切。
阿纳托尔·法朗士
我们中国人有句谚语说：“种瓜得瓜，种豆得豆。”这也适用于每个人的生活：善有善报，恶有恶报。
宋美龄
中国最崇高的理想，就是一个人不必逃避人类社会和人生，而本性仍能保持原有快乐。
林语堂
什么叫幸福呢？幸福就是：目击众神死亡的草原上野花一片。在这幸福中你可以是一个俯视这片草原的眼神，你也可以是众多野花中的一朵，都无所谓。在这幸福中你蜕变成了一个女人，一个安静、悠然、满足、认命的十五岁的女人，尽管你们从来没有“做过”。
笛安
在希望中，直走到死；我们将直到底，自励以一种不知道的幸福的幻影---正如一个人，为的要在永睡里安眠，辛辛苦苦地给永睡预备一个梦。
安德烈·纪德
上帝给了人们有限的力量但却给了人们无限的欲望.
大仲马
If all you're trying to do is essentially the same thing as your rivals, then it's unlikely that you'll be very successful.
如果你和你的竞争对手做的事情本质上是一样的，你可能不会太成功。
迈克尔·波特
有时候你以为天要塌下来了，其实是自己站歪了。
泰戈尔
The most successful societies are those that have been able to balance the need for a strong state with the need for individual freedom.
最成功的社会是那些能够在强大国家的需求与个人自由的需求之间取得平衡的社会。
弗朗西斯·福山
哲学是一切艺术之母。
西塞罗
爱不是占有，而是放手。
Love is not about possession, but about letting go.
哈维尔·马里亚斯