Rigor in proof is what separates mathematics from all other sciences.
The art of programming is the art of organizing complexity.
Quality should never be compromised for quantity.
痛苦的秘诀在于有空闲去烦恼自己是否幸福。