Development requires the removal of major sources of unfreedom: poverty as well as tyranny, poor economic opportunities as well as systematic social deprivation, neglect of public facilities as well as intolerance or overactivity of repressive states.
发展需要消除不自由的主要根源:贫困和暴政,经济机会的匮乏以及系统的社会剥夺,公共设施的忽视以及压制性国家的过度活跃或不宽容。
The study of algorithms is not just about solving problems, but about understanding the limits of what is computationally possible.
Every building is a prototype. No two are alike.
"Art is the lie that enables us to realize the truth."
技术将引领我们进入能源勘探的新领域。
如果谋虑不到,那么就根据过去推知未来(主要强调凭借经验),根据明显的事推知隐微的事。像这样谋虑,那么所谋必得(成功)。