写作是与沉默达成协议。
The relation between what we see and what we know is never settled.
The development of formal systems has revolutionized our understanding of mathematics.
The important thing is not to stop questioning. Curiosity has its own reason for existing.
语言是人类思维最强大的工具。
The advantage of a ridiculously ambitious goal is that it sets the bar very high so even in failure it may be a success measured by the ordinary.
Every story is a kind of ghost, haunting the present.
The best way to refactor a program is to refactor it.
