唯一的天堂是失去的天堂。
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
成功的关键是让自己身边围绕着最优秀的人,并给予他们创造的自由。
意义具有内在的治疗能力。意义影响到一切事物。
The only thing that is constant is change.
某人的一小步就是人类的一大步。