有时我们测量事物，看到它们在短期内实际上会损害销售，我们仍然会这样做。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
要做出不错的东西，要大胆去做它。要想做出好的东西，需要一次又一次去做。做好东西的秘诀在于重新去做。
我不追逐潮流，我创造潮流。
语言不仅仅是交流的工具，更是塑造我们现实的方式。
语出西汉·桓宽《盐铁论·疾贪》。表：古代测量日影以计时的标杆。要想让影子正，就要先将标杆树直；要想让下面的人清廉，就要先自己做到清廉。说明上位是下位的表率。
过去永远在那里，但它不是唯一存在的东西。
I'm going to do what I want to do. I'm going to be who I really am. I'm going to figure out what that is.