Service is the soul of an enterprise, without service there are no customers.
服务是企业的灵魂，没有服务就没有客户。
伟大的舞者之所以伟大，不是因为他们的技巧，而是因为他们的激情。
The energy landscape is changing, and we must change with it to remain relevant.
只保有你可一直携带的东西：掌握一些语言，熟悉一些国家，了解那些人民。让记忆成为你的行囊。
The real voyage of discovery consists not in seeking new landscapes, but in having new eyes.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
爱得太深，会失去所有荣耀和价值。