我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
我不知道我是否相信上帝，但我相信人们创造神的力量。
In republican governments, men are all equal; equal they are also in despotic governments: in the former, because they are everything; in the latter, because they are nothing.
Self-love， then， is a necessary principle of action.
睡得早起得早，使人聪明、富有、身体好。
最有力的艺术是让我们感到不安的艺术，它迫使我们面对我们宁愿忽视的东西。
我认为建筑应该是柔软和轻盈的。
臣民对主权者的义务，只要主权者能保护他们，就持续存在，否则就不再存在。
Sustainability isn't an option anymore; it's a necessity for any responsible mining company.