The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
首先要当个正直的人，其次要当个快乐的人。
王小波
人要有伟大的理想层次，可一定要脚踏实地，不要把兴趣当做饭碗，不要把爱好当做才能。
徐小平
唯一真正的进步在于学会独自犯错。
"The only real progress lies in learning to be wrong all alone."
尤尔根·贝克尔
写作是一种更强烈地体验生活、赋予生活更多意义的方式。
Writing is a way of living life more intensely, of giving it more meaning.
马里奥·巴尔加斯·略萨
Popularity is the one insult I have never suffered.
王尔德
"Hope is the only thing stronger than fear."
希望是唯一比恐惧更强大的东西。
苏珊·柯林斯
打动人心的最高明的办法，是跟他谈论他最珍贵的事物。
卡耐基
我走过无数的桥，看过无数的云，喝过无数种类的酒，却只爱过一个正当最好年纪的人，我应当为自己感到庆幸。
沈从文
关心群众生活，注意工作方法。
周恩来
省钱省不出新世界。
任正非
过去从未死去。它甚至还没有过去。
The past is never dead. It's not even past.
科尔森·怀特黑德
所谓什么都不屑，不过是自己设计的一场心理战术：明明想得到，一念贪痴，转念又以可有可无去平衡，便减低太重的得失心带来的包袱。穿上最薄的质料，才能轻身在寒道上向前跑；边走边想着万一得到了也是一种负担，最后自自然然想到不如顺其自然好了。
林夕
失望是不是，不过不要怕，生命中原充满失望。
亦舒
凡学之不勤，必其志之尚未笃也。
王阳明
浩浩乎，如冯虚御风，而不知其所止；飘飘乎，如遗世独立，羽化而登仙。
苏轼
企业在发展过程中，既要追求创新，又要坚守一些核心的东西。创新是企业保持竞争力的关键，比如不断研发新的产品、探索新的商业模式等。但同时，企业也不能忘记自己的初心和核心价值观，不能为了创新而创新，失去了自己的根本。例如一些老字号企业，在传承百年的技艺和品质的基础上，结合现代市场需求进行创新，推出符合当代人喜好的产品和服务，既保持了品牌的传统魅力，又能适应时代的发展，实现了可持续的发展。这告诉我们，创新和坚守并非矛盾，而是相辅相成的，只有把握好两者的平衡，企业才能在市场浪潮中屹立不倒。
罗振宇
破坏实验的精髓不在于破坏什么，而在于通过破坏发现了什么。
李明洁
每天早晨醒来，一想到所从事的工作和所开发的技术将会给人类生活带来巨大的影响和变化，我就会无比的兴奋与激动。
比尔·盖茨
DNA的双螺旋结构不仅美丽，而且优雅简单。
The double helix structure of DNA is not only beautiful but also elegantly simple.
詹姆斯·沃森