"Traveling is a brutality. It forces you to trust strangers and to lose sight of all that familiar comfort of home and friends. You are constantly off balance. Nothing is yours except the essential things: air, sleep, dreams, the sea, the sky - all things tending towards the eternal or what we imagine of it."

记忆是一件棘手的事情；它既可以是祝福也可以是诅咒。

The higher your energy level, the more efficient your body. The more efficient your body, the better you feel and the more you will use your talent to produce outstanding results.

不要因为困难而放弃梦想。

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

写作是抵抗世界沉默的方式。