And when they leave,they take your life of details with them. You are expected to move on again, but you don't remember what it was that moved you, because no one's asked you in so long. Not even yourself.
他们离开后，你的生活就空了。你应该再度向前，但你已忘了如何迈步。因为长久以来，都没有人叫你动。你自己也忘了要动。
"The only true wisdom is in knowing you know nothing."
In the end, we all are human.
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
保持饥饿，保持愚蠢。
做企业要有长远的眼光，不能只看眼前利益。