我只是一个碰巧拥有非凡工作的普通人。
我犯下的最大错误是过度看中人的才能而不是人品。我认为拥有一颗善良的心至关重要。
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
If you want to understand a system, try changing it.
I'm not a rapper, I'm a enlightenment legend.
"I don't have a lot of respect for talent. Talent is genetic. It's what you do with it that counts."
我对天赋没有太多尊重。天赋是遗传的。重要的是你如何利用它。