重新发现过去并发现它不足以应对现在,比让它逃避你并永远成为一个和谐的记忆概念更令人悲伤。
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."