The most important thing is to try and inspire people so that they can be great in whatever they want to do.
最重要的事就是去努力尝试与激励大家,使他们能够在想做的事上大放异彩。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
A language that doesn't affect the way you think about programming is not worth knowing.
写作是与沉默搏斗。
Technological innovation is the fundamental driving force for enterprise development, without innovation there is no future.