我们是我们的过去。
The arithmetic of L-functions is a journey into the hidden patterns of the universe.
A proof is a repeatable experiment in persuasion.
A distributed system is one in which the failure of a computer you didn't even know existed can render your own computer unusable.