证明是一种可重复的说服实验。
A proof is a repeatable experiment in persuasion.
最终,我们都只是故事,而我们的故事是否值得讲述,取决于我们自己。
Purely applicative languages are poorly applicable.
"There are moments when the past feels so close you could reach out and touch it, and then it’s gone again, like smoke."
Your time is limited, so don't waste it living someone else's life.