"The true artist is not proud... He is aware that art is infinite and he feels distant from his goal."
真正的艺术家并不骄傲...他意识到艺术是无限的,他感到离目标还很远。
The future of computing lies in the development of systems that can verify their own correctness.
What you do makes a difference, and you have to decide what kind of difference you want to make.