Zero-knowledge proofs are a way to prove that you know something without revealing what it is.

A man is like a fraction whose numerator is what he is and whose denominator is what he thinks of himself. The larger the denominator, the smaller the fraction.

When you live for others' opinions, you are dead.

The details are not the details; they make the design.

编程语言中最重要的东西是能够清晰简洁地表达算法。

朗兰兹纲领不是一组静态的猜想，而是一个动态的研究领域。