我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
始终保持积极向上的精神状态，就会创造出惊人的成绩。
佚名
用户不是傻子，只是太忙了。
雷军
一个人是否高贵，并不在于别人如何去看他，而在于它自己如何看待自己。
赫伯特·斯宾塞
浪花越大,凝立的磐石,在沉默的持守里,快乐也越大了。
冰心
时不可失，丧不可久。
解释：要紧紧抓住时机不能错过，错过了也不能延误太久。
左丘明
开放平台和生态建设是推动技术进步的关键。
Open platforms and ecosystem building are key to driving technological progress.
王海峰
何为爱情？一个身子两颗心；何为友谊？两个身子一颗心。
吉卜林
猫与谎言最大的差别是，猫有九条命。
马克吐温
如何吸引人才：我总结（总结不表示我做好了，而是认识到要做好）四个要素：【短期回报】、【长期回报】、【个人成长】、【精神生活】。从左到右，从易到难，其中丰富不一般的人生体验和精神生活是最综合要求最高的，要不断反思追求。
张一鸣
人无疑是大地的主人，但又是胃肠的奴隶。
冈察洛夫
让你的孩子只依赖于物。在教育他的过程中，你就能遵循自然的秩序。如果他有冒失的行为，只需让他碰到有形的障碍或受到由行为本身导致的惩罚，这些他会在将来适当的场合适时地想起。因此不需要禁止他做错事，这就足以防止他做坏事。对他来说，经验和体力的不足就可以取代法律的地位。不要因为他要什么就给他什么以满足他的欲望，而只能因为他的确需要才给他所要的。当他在行为活动的时候，不要让他知道什么是服从别人，也不要在别人为他做事的时候，让他知道什么是支配他人。要让他感受到他的行动和你的行动中有同样的自由。要正好在他需要体力的时候，为他补充缺乏的体力，以让他刚好能自由行事，但不能把他的体力补充到让他专横跋扈。这样，虽然他在接受你的服务和帮助时有一种耻辱感，但是他会期待自己不需要别人帮助的时候能够到来，并为自己帮助自己感到光荣。
卢梭
The most exciting phrase to hear in science, the one that heralds new discoveries, is not 'Eureka!' but 'That's funny...'
在科学中最令人兴奋的、预示着新发现的短语不是“我找到了！”，而是“这有点奇怪……”
索尔·珀尔马特
自然界是一切物质的感性的有形事物的总和，是唯一的客观实在，是“非产生、非创造”的实体，是永恒的实体。
费尔巴哈
偶然，常常会比任何策划者更善于制造绝妙的机会，来揶揄那些钟爱倒着推理的自以为是之人。
德川家康
中医药是一个伟大的宝库，应当努力发掘，加以提高。
屠呦呦
一个知识越贫乏的人，越是拥有一种莫名奇怪的勇气和自豪感。
罗翔
错误的思想会控制你的大脑并影响你的机能。人生可以是篇华美的诗章，迎着旭日和风赞颂美好的一切，人生也可以沉浸在咏叹的哀婉中，只有灰烬与寒冬相伴。
奥格·曼狄诺
大多数人不碰股票就是最好的投资，除非你认为自己确实有自己了解的好公司处在便宜的价钱。
段永平
做好一件事是不够的，那样你不会理解它。责任感是简单而无价的……
巴顿