Quality is not a label; it is a standard.

I think the best moments in music are the ones that feel like they’re happening right now.

"The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion."

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

显然，了解自然法则无异于了解其中表达的上帝的思想。