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.
"Art is the lie that enables us to realize the truth."
技术将引领我们进入能源勘探的新领域。
如果谋虑不到,那么就根据过去推知未来(主要强调凭借经验),根据明显的事推知隐微的事。像这样谋虑,那么所谋必得(成功)。