Innovation is the soul of an enterprise, without innovation there is no future.
创新是企业的灵魂,没有创新就没有未来。
最好的投资是投资于那些正在建设未来的人。
I am not interested in the average, I am interested in the extreme.
《致陈新政及南洋同志书》(1914年6月15日)
The past is a foreign country; they do things differently there.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
I'm not a whisper, I'm a shout.