过去并没有死去。它甚至还没有过去。

I always try to be positive, even in tough moments.

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

"The best way to learn is by making mistakes."

最终，生存不在于你拥有多少，而在于你能否很好地利用你所拥有的。