The λ-calculus is not merely a formalism but a language in which computations can be expressed.
λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。
I'm not a rapper, I'm a god.
我认为数学之所以有价值，是因为它具有这种令人难以置信的结构，你可以探索和发现。
For Chinese games to go global, they must have their own cultural characteristics.
Não sou nada. Nunca serei nada. Não posso querer ser nada. À parte isso, tenho em mim todos os sonhos do mundo.
医学是我的合法妻子，文学是我的情妇。
I love to practice. When I'm not playing, I'm practicing.
El silencio es el lenguaje de Dios, y nosotros, los poetas, somos sus intérpretes.
