I don't think about age. I think about people's spirit and energy and if they're positive and if they're fun to be around.

The challenge in model checking is not just to find errors, but to understand why they occur.

有激情的人可以让世界变得更美好。

大树恨枝干上没有树叶，不要怨怪是太阳偏心故意晒偏。