当获得一些成功，你很可能会犯“顶替者综合症”（觉得自己名不副实）。“我在愚弄谁呢？” 但当你创造出只有你以独特才干和经验才能做到的事情时，那么你绝对不是冒牌货，这是天命所归。持续去做只有你才能做出来的事情吧，这是你的使命。
When you have some success， the feeling of being an imposter can be real. Who am I fooling？ But when you create things that only you — with your unique talents and experience — can do， then you are absolutely not an imposter. You are the ordained. It is your duty to work on things that only you can do.
创新不仅仅是创造新事物，而是带来改变。
Have an aim in life，or your energies will all be wasted.
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
我们通过分享的故事、通过我们珍视的记忆而彼此相连。