"In computer science, we are always trying to find the balance between expressiveness and tractability."
压力、挑战,这一切消极的东西都是我能够取得成功的催化剂。
The only way to do great work is to love what you do.
"Books are the maps that guide us through life."
The act of writing is an act of optimism. You would not take the trouble to do it if you felt it didn't matter.