"In computer science, we are always trying to find the balance between expressiveness and tractability."
我从没有爱过这世界,它对我也一样。
The future we want must be invented. Otherwise we will get one which we don't want.
我不会因为累而停止,我会因为完成而停止。