The artist must be a servant of the unknown.
The internet should be for everyone.
形式化方法不是银弹,但它们是追求可靠系统的重要工具。
正义不是终点,而是一段旅程。
企业的成功不在于拥有多少资源,而在于如何有效地利用这些资源。
人生的主要任务就是:识别和区分事物,这样我就能清楚地告诉自己哪些是外部不可控的,哪些是我实际可控的选择。