"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
真正的爱情应该让人更自由，而不是更安全。
朱媛媛
未来会有专门提供基础模型和服务的公司，形成一个长产业链的专业分工体系。更多公司将在这些基础之上，为社会的多元需求提供解决方案。
梁文锋
你所表达的，只有一个词是最恰当的，一个动词或者形容词，一定要找到它，别用戏法来蒙混，逃避困难只会更困难。
福楼拜教导莫泊桑
福楼拜
"I write to destroy the truth, but I always end up creating it."
"我写作是为了摧毁真相，但最终总是创造了它。"
埃尔弗里德·耶利内克
天空没有留下鸟的痕迹，但我已飞过。
泰戈尔
爱，原就是自卑弃暗投明的时刻。自卑，或者在自卑的洞穴里步步深陷，或者转身，在爱的路途上迎候解放。
史铁生
生活条件越困难，我就觉得自己越坚强，甚至越聪明了。人是在对周围环境的反抗中被造就的。
高尔基
生活中值得嫉妒的人寥若晨星，但命运悲惨的人比比皆是。
叔本华
艺术家的责任是把不可能变成可能。
蔡国强
快乐你别嫌小，一个小，两个加起来，三个加起来，你加到一百试试？快乐就大了。你不能老想着一天一百个快乐，你这一辈子能碰上几个一百的快乐？
倪萍
人生是一场无休无歇无情的战斗，凡是要做个够得上称为人的人，都得时时刻刻向无形的敌人作战。本能中那些致人死命的力量，乱人心意的欲望，暧昧的念头，使你堕落使你自行毁灭的念头，都是这一类的顽敌。
罗曼·罗兰
此刻教育问题是没有人会一丝不挂去洗澡，但太多人正穿着棉袄洗澡。
韩寒
最最撕心裂肺的声音最温和，最最惊心动魄的情景最寻常平静。
李娟
永远不要低估强大公司文化的力量。
Never underestimate the power of a strong company culture.
西蒙·沃尔夫森
思考是世界上最艰苦的工作，所以很少有人愿意从事它。
亨利·福特
怎么不断坚持一件事情，当你干一件重要事情的时候，先一点点干，不管是30分还是20分，甚至10分也可以，你先去干，只要脑袋里有个基本框架就可以，其余的都不要去担心，说白了其他的都是幻想。无论干什么，你先非常粗糙的去干，你先丢掉一切的失心去干，你先去混，你混上一段时间，就会发现，本来你想拿个20分、30分的，结果有一次，你混混混，发现拿70分80分的次数越来越多。然后你再混下去，你会发现你能弄到70分、80分甚至90分，再混下去，你会发现你已经超越大多数人了。
埃隆·马斯克
信仰应该让人更宽容，而不是更狭隘。
蔡志忠
未来的企业，要么是数字原生企业，要么是数字化转型成功的企业。
胡晓明
我也说不准是在什么时间，什么地点，看见你的什么神情，听见你的什么言语，便开始爱上了你。那是很久以前的事，我是到了不能自拔的时候，才发现爱上了你。
简·奥斯汀