我不是说唱歌手，我是一个托尼奖得主。
我做过的最有争议的事情就是坚持下来。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
好奇心是发现的催化剂。
What is freedom of expression? Without the freedom to offend, it ceases to exist.
You have to think for yourself. It always amazes me how high-IQ people mindlessly imitate. I never get good ideas talking to other people.