The more we live by our intellect, the less we understand the meaning of life.
Art is the only way to run away without leaving home.
舞台是死者与生者对话的地方。
Stories you read when you're the right age never quite leave you. You may forget who wrote them or what the story was called. Sometimes you'll forget precisely what happened, but if a story touches you it will stay with you, haunting the places in your mind that you rarely ever visit.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
你不尝试就100%不会成功。
Life is ours to be spent, not to be saved.
感谢上帝,根据我们的宪法,教会和国家之间没有联系。
——2000年10月18日出席西雅图一次会议时的发言