The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.

Architecture is not just about shelter, it's about creating a sense of belonging.

I'm not gonna be one of those people who has to look back and say, 'I should have done that.'

λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。

Never stop learning, because the world never stops changing.

行善的权力也是作恶的权力。

领导就是服务，而不是被服务。