I'm not afraid of others saying I'm not good enough, I'm afraid that I'm not good enough myself.
The reality is: sometimes you lose. And you're never too good to lose. You're never too big to lose. You're never too smart to lose. It happens.
我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
Everything you’ve ever wanted is on the other side of fear.