变化是宇宙中唯一不变的东西。
你并不等同于他人对你的评价。
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
我不害怕失败,我害怕不去尝试。
释义:宁可让雨水打湿衣服,也不能乱了步伐、失了仪态。常用来形容一个人做事非常谨慎、有原则,不会因外界环境的变化或突发情况而慌乱,始终保持着自己的节奏和方式。
实验室笔记本是科学家最诚实的伙伴。
"The truth is not always what we want to hear, but it is always what we need to know."