"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
我这人不懂音乐，所以时而不靠谱，时而不着调。
郭德纲
Collaboration across industries is the key to unlocking breakthroughs in green chemistry.
跨行业合作是解锁绿色化学突破的关键。
莎拉·约翰逊
I define nothing. Not beauty, not patriotism. I take each thing as it is, without prior rules about what it should be.
我不定义任何东西，不管是美，还是爱国。每件事在我眼里该是什么就是什么，没有什么优先规则使之应该成为什么。
鲍勃·迪伦
To be successful in China, you need to be both fast and flexible.
在中国要成功，你既需要快速又需要灵活。
朱啸虎
个个题诗，写不尽千秋花月；人人作画，描不完大地江山。
陈继儒
自责也是一种暴力——它忽视了行为背后的需要。
马歇尔·卢森堡
我是那种会让你想要辞职的人。
I'm the kind of guy that'll make you wanna quit your job.
艾米纳姆
每一个艺术家，包括教师在内，都是一位工匠。其任务是研究一套工具，并挖掘这些工具的使用秘诀。一把凿子，看似平凡，但随着理解的愈发深入，它会让你看到更多的可能。
沈祖芸
良心始终是不顾一切人为的法则而顺从自然的秩序。
卢梭
I'm a perfectionist. I'm pretty much insatiable. I feel there's so many things I can improve on.
我是一个完美主义者。我几乎永远不满足。我觉得有很多事情我可以改进。
碧昂丝
许多伟大的真理开始的时候都被认为是亵渎行为。
萧伯纳
数学的美在于它能够以最简单的术语描述宇宙。
The beauty of mathematics lies in its ability to describe the universe in the simplest terms.
彼得·舒尔茨
“人死了，就变成一个星星。”“千嘛变成星星呀？”“给走夜道儿的人照个亮。”
史铁生
The most exciting phrase to hear in science, the one that heralds new discoveries, is not 'Eureka!' but 'That's funny...'
在科学中最令人兴奋的短语，预示着新发现的，不是“我找到了！”而是“这很有趣...”
崔琦
当你再度向财富致敬，向名利呼唤，向权利高举臂膀，请不必询问那只曾经歌咏的画眉，他已经不知飞向何方。
莎士比亚
古人对中国历史研究的方法，有一句话叫“经史合参”。什么叫经呢？就是常道，就是永恒不变的大原则，在任何时代，任何地区，这个原则是不会变动的。但不是我们能规定它不准变动，而是它本身必然如此，所以称为“经”。而“史”是记载这个原则之下的时代的变动、社会的变迁。我们要懂得经，必须要懂得史。拿历史每个时代、每个社会来配合。这样研究经史，才有意义。
南怀瑾
真正的爱从来不是一种表演，它常常体现在每天的接人待物中，对某个个体发自内心的尊重。只不过在我们这个时代，人的物化几乎成为了主流，对人的尊重很多时候被认为是一种弱者的行径。
罗翔
如果冷漠也算是一种感情，那他的感情只有冷漠。
莫言
星星知道所有的秘密，它们在夜空中低语，但只有那些还记得如何聆听的孩子，才能听懂它们的故事。
J·M·巴里