理论计算机科学不仅仅是解决问题,更是理解计算本身的本质。
The most beautiful thing a person can experience is the mysterious.
"To write is to make a mark, to leave a trace, to say 'I was here.'"
Quality is not an act, it's a habit.
The future is not something we enter. The future is something we create.
"The art of writing is the art of discovering what you believe."