模型检查是验证硬件和软件系统正确性的强大工具。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
我们公司曾经花了很长时间讨论员工的职级体系设计。我们发现，中国企业员工体系设计与美国有一个非常重要的区别：美国很多公司在职级体系设计上，颗粒度比较粗，而中国颗粒度很细。最明显的是亚马逊，软件工程师分了三级，而中国分了十几级。为什么这么细？因为员工不晋升，心里不舒服。所以组织被迫过一段时间给员工一个激励，让他觉得公司待他是不错的。事实上美国那种职级体系设计，跟国家的发展速度有关。没有快速发展的行业，就不会有快速发展的薪资。
王慧文
做一生傻瓜也比作恶一小时强。你不是傻瓜，他们是傻瓜。因为使他的邻人感到羞辱的人，自己要失去天堂。
艾萨克·辛格
在朋友交谈之间语言需要当心，成年人要步步为营，不传坏话，便可促进双方的友谊。减少是非是促进人际关系重要的一环，好话要多传，坏话一句也不传。
三毛
敢说的人，就做得到。
拿破仑
不拜父母拜干亲，弟兄不和结外人。
周希陶
钱不是万能的，没钱是万万不能的——好像是王朔说的？
段永平
命运就这样坚硬，人却这般软弱，在厄运面前人什么都不是。
高行健
分享什么，你就是什么。
林桂枝
创造未来意味着放弃过去。
博恩·崔西
拓宽教育空间的三个渠道：一是通过多样性的教育“周”“节”活动，渲染学校欢乐向上的氛围；二是通过主题性大单元教育活动，保证学校和社会、各学科间的相互协调和沟通，以及知识学习和知识应用相融合，扩大教育效果；三是通过野外情境教育活动，不断丰富课堂上儿童智能活动的源泉。
李吉林
目的虽是虚设的，可非得有不行，不然琴弦怎么拉紧；拉不紧就谈不响。
史铁生
可持续发展是我们行业唯一的出路，忽视这一点的人将被淘汰。
Sustainability is the only path forward for our industry. Those who ignore this will be left behind.
西蒙·埃利奥特
光辉的理想像明净的水一样洗去我心灵上的尘垢。
巴金
可持续的改变并不能通过冲动来实现（动机很有用，但也是最被高估的因素之一），关键是要养成习惯，让习惯将我们一步步带向我们想要成为的样子。
庄迪
有时候最简单的设计反而是最稳健的。
Sometimes the simplest designs are the most robust.
保罗·米尔格罗姆
在美国的研究生院里中国学生从来不参加课堂讨论，以至于教授都以为他们什么都不会。可是一考试就是第一一考试就是第一，那美国教授不就崩溃了吗？他根本理解不了，于是感叹道啊，神秘的东方！
罗永浩
"也许这正是信任度的问题，否则的话，你应该相信我说的。我回答。
马克·李维
但我从来没有像今天这样，心思宁静，怀着一种神秘的力量，觉得这些与我没有任何干系，这个世界离我竟那么遥远，几乎杳然无迹。
赫尔曼·黑塞
写下那些不应该被遗忘的事情。
Write what should not be forgotten.
伊莎贝尔·阿连德