用户界面中最重要的东西是反馈。

形式化方法不是银弹，但它们是追求可靠系统的重要工具。

"We carry our homes within us, which enables us to fly."

Integrity is the foundation of all successful relationships, both personal and professional.

做伟大的工作的唯一方法就是热爱你所做的事情。