To me programming is more than an important practical art. It is also a gigantic undertaking in the foundations of knowledge.
数学是给不同事物起相同名字的艺术。
科学不是民主。它是独裁。重要的不是人们相信什么,而是可以通过实验证明什么。
Freedom can only be given to one who loves it, and the rest is for slaves.
I am very much attracted by the mystery of the world, and I think that is the main theme of my poetry.