"I think people believe in heaven because they don’t like the idea of dying, because they want to carry on living and they don’t like the idea that other people will move into their house and put their things into the rubbish."
"Writing is a way of talking without being interrupted."
创作艺术是理解生活混乱的一种方式。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
The only thing that is truly valuable is the love you share.