计算机科学的本质是研究算法及其效率。
The essence of computer science is the study of algorithms and their efficiency.
The more you sweat in practice, the less you bleed in battle.
政府、企业和社会之间的合作对于应对气候变化至关重要。
The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.