Writing is the only way I have to explain my own life to myself.
写作是我向自己解释自己生活的唯一方式。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
I want to be remembered as a passionate artist.
世界是一本书,不旅行的人只读了一页。
美不是艺术的目标,而是它的副产品。
写作是与沉默达成协议。