许多人会称我为冒险家,我确实是……只是另一种冒险家:一个用生命去证明真理的人。
The future of computing lies in the development of systems that can verify their own correctness.
The dog is called Sandy. I like Sandy. He is not clever but he is very cheerful.
Life is too short to waste time hating anyone.
"Every story is a journey, and every journey is a story."