唯一行为理智的人是我的裁缝，他每次见我都会重新量尺寸，而其他人则继续用旧的尺寸。
The only man who behaves sensibly is my tailor; he takes my measure anew every time he sees me, while all the rest go on with their old measurements.
小说的伟大之处在于它让一切变得有趣。
I think that the thing that makes mathematics worthwhile is the fact that it has this incredible structure that you can explore and discover.
What is learned is not movements but meanings.
我从未过多思考过我会如何死去，但为我所爱的人而死似乎是个不错的死法。
The most powerful art is often the most humble.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
C语言古怪、有缺陷，但却取得了巨大的成功。