"Verification is not just about finding bugs; it's about understanding why the system works the way it does."
验证不仅仅是发现错误；它关乎理解系统为何以某种方式工作。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
对名利没有强烈的需求，因而不会戴上面具，企图讨好别人。
马斯洛
永远要志存高远，绝不放弃。生活就是一场专心致志、努力学习、勤于收获的旅途。
吉姆·罗杰斯
那就是这里，那就是家园，那就是我们。你所爱的每个人，认识的每个人，听说过的每个人，历史上的每个人，都在它上面活过了一生。我们物种历史上的所有欢乐和痛苦，千万种言之凿凿的宗教和经济思想，所有狩猎者和采集者，所有英雄和懦夫，所有文明的创造者和毁灭者，所有的皇帝和农夫，所有热恋中的年轻人，所有的父母、满怀希望的孩子、发明者和探索者，所有道德导师，所有“超级明星”，所有圣徒和罪人——都发生在这颗悬浮在太阳光中的尘埃上。
卡尔·萨根
山里的孩子更需要知识，我愿意为他们坚守。
张玉滚
神的旨意不仅仅是要我们幸福，而是要我们自己使自己幸福。
康德
你们说要争自由，自由是针对外面束缚而言的，独立是你们自己的事，给你自由而不独立，仍是奴隶。独立就是不盲从，不受欺骗，不依赖门户，不依赖别人，这才是独立的精神。
胡适
管理是一种实践，其本质不在于“知”而在于“行”；其验证不在于逻辑，而在于成果；其唯一权威就是成就。
彼得·德鲁克
如果不是被遗忘，它们怎能被重复？
伊沃·安德里奇
把自己产品化，展现独特价值，吸引财富。
埃里克·乔根森
人生到这个世界上来，如果不能使别人过得好一些，反而使他们过得更坏的话，那就太糟糕了。
T.S.艾略特
"No hay peor dictadura que la del olvido."
没有比遗忘更糟糕的独裁了。
塞尔吉奥·拉米雷斯
Overfishing today is stealing from tomorrow’s generations.
今天的过度捕捞是在窃取后代的资源。
伊戈尔·谢钦
死者是最执着的历史学家。
The dead are the most persistent historians.
西蒙·沙玛
永远别去爱一个把你当一般人对待的人。
Never love anybody that treats you like you’re ordinary.
奥斯卡·王尔德
我们今天已经处于信息时代了，传统的授课模式下培养的学生面对急速变化的世界出现了适应不良的问题。
彼得·利耶达尔
现实折过来严丝合缝地贴在我们长期的梦想上时，它盖住了梦想，与它混为一体，如同两个同样的图形重叠起来合而为一一样。
马塞尔·普鲁斯特
要是他自己也有这种权力，那每天就不只可以看四十四次日落啦，而是可以看七十二次，甚至一百次、两百次，还不用搬动椅子！
安托万·德·圣-埃克苏佩里
分享一下京东培训体系：总监以上有EMBA进修方案；中低层管理人员有管理干部培训班；底层员工比如配送员有十百千培训工程；新毕业大学生有管理培训生项目。这些培训对员工都是免费的，而且没有锁定期！培训结束离开京东无需任何费用补偿。在快速发展中，京东不完美，但我们会继续努力！
刘强东
我们纵身一跃，全身投入，像年少轻狂的嬉皮士和疯子一样地不要理智。
李一诺