Innovation is not the goal but a means to ultimately create value for customers.

A work of art is the unique result of a unique temperament.

计算的本质不在于硬件，而在于驱动它的算法。

颜渊感叹地说：“老师的学问越仰望越觉得高耸，越钻研越觉得深厚；看着就在前面，忽然却在后面。老师步步引导，用知识丰富我，用礼法约束我，想不学都不成。

The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion.

这值得说两遍：量两次才切一次。

形式化方法的美在于它们能够提供关于系统行为的绝对保证。