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.