"Memory is a strange thing. It doesn’t work like I thought it did. We don’t remember, we rewrite memory much as history is rewritten. To remember is to remake, to reimagine."

我需要时间创作。时间是最珍贵的东西。

The sun, with all those planets revolving around it and dependent on it, can still ripen a bunch of grapes as if it had nothing else in the universe to do.

模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。

Leadership is about inspiring others to achieve what they thought was impossible.

What we know is little, and what we are ignorant of is immense.

时间是一位伟大的老师，但不幸的是它杀死了所有的学生。