Among thousands of people, you meet those you've met. Through thousands of years, across the boundless wilderness of time, you happen to meet them, neither earlier nor a bit too late. There is nothing to be said except to ask lightly, "Oh, you're here too?"

"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."

我不喜欢解释我的作品。如果能用语言表达，我就不需要画了。

我不在乎被记住，我在乎我现在正在做什么。