The dead speak through us, in our dreams, in our words.
死者通过我们说话，在我们的梦中，在我们的文字里。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
I don't want to wake up in the morning and think, 'I'm going to work to make money.' I want to wake up and think, 'I'm going to work because I love what I do.'
知识若不付诸实践，便毫无价值。
看着我，每个人的脸上都有印记。你第一次手术时，我长了这条皱纹，最后一次手术时，我长了这些皱纹。这张地图会为我们指引方向。而这张地图标记着我们去过的地方，它绝对不是丑陋的。
我不喜欢被束缚，因为音乐是自由的。
The biggest risk of AI is not that it will become too powerful, but that we will not use it wisely.