The past is a ghost, the future a dream, and all we ever have is now.

Writing is a way of connecting with others.

I don't like to be defined by one thing. I'm more than just a tennis player.

软件开发中最重要的一个方面是明确你要构建什么。

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

我不是环境的产物，我是自己选择的产物。