你停止尝试的那一刻就是你停止学习的那一刻。
The moment you stop trying is the moment you stop learning.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
Every morning I wake up in a bed that's not mine, in a house that's not mine, and I live the life of a man who's not me.
If you are insecure, guess what? The rest of the world is, too. Do not overestimate the competition and underestimate yourself. You are better than you think.