The Langlands program is not just a collection of conjectures but a way of thinking about mathematics.

如果我们认为可以将主动数据库系统中过程与数据的比率任意减小，甚至保持较小，那我们就是在开玩笑。

当每一分钱都要精打细算，犯错的空间就消失了。

可持续发展不再是可选项，而是我们对后代的责任。

所有人要么是自由的，要么是奴隶。