"The world is full of small things that are big enough to break your heart."
When you're young you think you're going to have lots of friends. But as you get older, you realize you can count them on one hand.
The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion.
The Langlands program is a challenge to the boundaries of mathematical knowledge.
最好的程序是这样写的:计算机可以快速执行它们,人类可以清楚地理解它们。理想情况下,程序员是一位散文家,他使用传统的美学和文学形式以及数学概念来传达算法的工作原理,并说服读者结果是正确的。
I believe that we are lost here in America, but I believe we shall be found.
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
Life has no meaning a priori. It is up to you to give it a meaning.