——1964年瑞佛尼亚审判法庭陈述
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
The more we learn, the more we realize how much we don’t know.
书籍是引导我们度过人生的地图。
嫉妒不是病态,而是一种进化出来的防御机制,用来对抗对繁殖成功的威胁。
Given the choice between the experience of pain and nothing, I would choose pain.
可持续性不是选择,而是我们对下一代的责任。