Courage is the most important of all the virtues because without courage, you can't practice any other virtue consistently.

The future of computing lies in the development of systems that can verify their own correctness.

Any change, even a change for the better, is always accompanied by drawbacks and discomforts.

忠于你的热情。

我不喜欢给音乐分类。