人在年幼时就开始学习，用心容易专一，没有别的事情干扰，所以容易学成。有人说，14岁前是学习的黄金时期，暂不说其中的科学依据，对于孩子来说，他们的好奇心、理解力、想象力和创作力正处旺盛期，也是集中学习受干扰少的最佳时期，因此在孩子最佳培养阶段，家长要懂得培养。

I don't fear failure. I fear not trying.

Architecture is about creating a sense of wonder.

形式验证的挑战在于弥合抽象模型与实际实现之间的差距。

The world is full of people who will tell you what you can't do. You don't need them. You already know what you can't do. What you need is someone to tell you what you can.

The universe we observe has precisely the properties we should expect if there is, at bottom, no design, no purpose, no evil, no good, nothing but blind, pitiless indifference.

记住该记住的，忘记该忘记的。改变能改变的，接受不能改变的。

The journey of a thousand miles begins with one step.

记住，声誉和正直是你最宝贵的资产——而且可能一瞬间就丧失。