我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
出自汉·桓宽《盐铁论·疾贪》。欲,想。表,仪表,这句话指身体。下,指下属。先之身,先要求自己。要想影子正,就要先把自己的身子站直;要想下属清廉,自己要先做出表率。这句话以正影先正身为喻,说明正人先正己的道理。
Sustainable fishing isn't an option—it's the only way forward if we want to preserve marine ecosystems.
Trust is the foundation of any successful business relationship.
"The beauty of cinema lies in its ability to make us feel less alone."
对世界抱有理想化的看法是错误的。这就是麻烦的开始。这就是一切开始瓦解的地方。
真正的领导力,是塑造更多的领导者,而不是更多的追随者。
Learning is a process of creating and strengthening neural pathways.