"In computer science, we are always trying to find the balance between expressiveness and tractability."

我从没有爱过这世界，它对我也一样。

Quality is not a program, it is a culture.

The future we want must be invented. Otherwise we will get one which we don't want.

我不会因为累而停止，我会因为完成而停止。