"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
唯一让生活成为可能的,是永久且难以忍受的不确定性;不知道接下来会发生什么。
Art is the only place where failure is celebrated.