"The future is a mirror that reflects the past, but the image is always distorted."

To eat bread without hope is still slowly to starve to death.

计算的未来在于开发能够自我验证正确性的系统。

最好的文学是让我们重新看世界的文学。