我相信，如果你想要创新，你必须愿意被误解。
I believe you have to be willing to be misunderstood if you're going to innovate.
我不是说唱歌手，我是一个计数的传奇。
你不是靠标新立异获得成功。你是靠保持沉默和小心翼翼地侧身而行。
"The past is never dead. It's not even past."
最大的背叛是为了错误的理由做正确的事。
系统设计的未来在于将形式化方法与传统工程实践相结合。
The dead are not lost. They are just out of sight.
你唯一应该努力超越的人，就是昨天的自己。