我们不能选择自己的心。我们不能让自己想要对我们或对别人有益的东西。
"We don't get to choose our own hearts. We can't make ourselves want what's good for us or what's good for other people."
Reason is immortal, all else mortal.
抽象是管理大型软件系统复杂性的关键。
In a 5 year period we get one superb programming language. Only we can't control when the 5 year period will be.
做数学就是与宇宙对话,寻找我们甚至可能还不知道如何提出的问题的答案。
We do not learn from experience... we learn from reflecting on experience.