"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."

对认可的渴望，灵魂中的激情部分，不能仅通过经济活动来满足。

I don’t ask writers about their work habits. I really don’t care. Joyce Carol Oates says somewhere that when writers ask each other what time they start working and when they finish and how much time they take for lunch, they’re actually trying to find out, ‘Is he as crazy as I am?’ I don’t need that question answered.

The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion.

Flexibility in the workplace is key to unlocking the potential of a diverse workforce.

我不是人类，我是机器人。

"文学的力量在于它能够让我们看到自己无法直接体验的生活。"

There is no love that’s so right as admiration-based love, and that love should include the instructive dead. Somehow, I got that idea and I lived with it all my life and it’s been very very useful to me.