如果你没有犯错,说明你不够努力。
If you’re not making mistakes, you’re not trying hard enough.
The world is a great sea, and we are the sailors.
领导力是关于以清晰和信念做出艰难的决定。
少即是乏味。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
Life is 10% what happens to you and 90% how you react to it.