The true genius shudders at incompleteness — and usually prefers silence to saying something which is not everything it ought to be.
真正的天才在不完整面前会颤抖——通常宁愿保持沉默，也不愿说一些不完全符合它应该说的话。
自由とは、自分自身に責任を持つことだ。
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
技术应该让生活更美好，而不仅仅是为了赚钱。
The elements of mind are to be discovered by systematic introspection.
文学让我们在一生中活出千种人生。
以耗尽地球为代价的利润根本不是利润。
可持续性不是一种趋势，而是我们对后代的责任。