Winning is not everything, but wanting to win is.
胜利不是一切,但渴望胜利就是一切。
我想知道的唯一一件事是,我将在哪里死去,这样我就永远不会去那里。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
Love me or hate me, it's one or the other. Always has been. Hate my game, my swagger. Hate my fadeaway, my hunger. Hate that I'm a veteran. A champion. Hate that. Hate it with all your heart. And hate that I'm loved, for the exact same reasons."
I think it's rarely about what you actually learn in class. It's mostly about the way that you look at things.
每一个在中国的国际项目都需要全球视野与本地执行的独特结合。