La vie est une comédie pour ceux qui pensent, une tragédie pour ceux qui sentent.
L-函数的研究证明了抽象在数学中的力量。
The process of verification is as important as the process of creation in computer science.
最好的代码就是没有代码。
坚持梦想,永不放弃,总有一天会成功。