——序，姚伯麟《战后太平洋问题》，1919年9月

If my world were to cave in tomorrow, I would look back on all the pleasures, excitements and worthwhilenesses I have been lucky enough to have had. Not the sadness, not my miscarriages or my father leaving home, but the joy of everything else. It will have been enough.

除了我的天才，我没什么好申报的。

My past doesn't define me, it refines me.

Knowledge can be shared, but wisdom cannot. It must be discovered and lived.

我们都被自己选择的幽灵所困扰。

"It’s funny how sometimes the people we remember the least make the greatest impression on us."

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