写作就是回忆，回忆就是再次生活。
"To write is to remember, and to remember is to live again."
有原则的创业文化推动可持续的成功。
C has the power of assembly language and the convenience of … assembly language.
混乱是我们生活的一部分。我的建筑反映了这一点。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
篮球的发明并非偶然，而是为了满足需求而发展起来的。