写作的行为是对遗忘的一种抵抗。
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
In mathematics, the journey to the solution is just as important as the solution itself.