我最有成效的一天之一是删除了1000行代码。
One of my most productive days was throwing away 1000 lines of code.
逻辑学研究不仅仅是关于推理规则,而是关于推理本身的本质。
我不是那种在关键时刻退缩的人。
我不会因为人们说什么而改变我是谁或我做什么。
最好的建筑是永恒的。