'Jeff, what does Day 2 look like?' 'Day 2 is stasis. Followed by irrelevance. Followed by excruciating, painful decline. Followed by death. And that is why it is always Day 1.' To be sure, this kind of decline would happen in extreme slow motion. An established company might harvest Day 2 for decades, but the final result would still come.
‘杰夫，第二天是什么样子的？’‘第二天是停滞。然后是无关紧要。然后是痛苦的衰退。然后是死亡。这就是为什么我们总是在第一天。’确实，这种衰退会以极其缓慢的速度发生。一个成熟的公司可能会收割第二天几十年，但最终结果仍然会到来。
志村簇的研究是几何、代数和数论的汇合点。
土地给予我们一切；我们必须回馈一些东西。
The best way to predict the future is to implement it.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."