编写无错误程序的方式有两种:只有第三个有效。
There are two ways to write error-free programs; only the third one works.
对验证的渴望是可以理解的,但不能总是得到满足。
生活是在成为个人和成为社区成员之间的持续斗争。
每一幅图像都体现了一种观看方式。
I'm not comfortable with comfort. I'm only comfortable when I'm uncomfortable.