任何领域的专业知识都涉及基本技能的自动化,从而释放注意力用于更高层次的性能表现。
Expertise in any domain involves the automation of basic skills, freeing attention for higher-level aspects of performance.
In computational complexity, we are not just dealing with the limits of what we can compute, but also with the limits of what we can prove.
未来属于那些能够弥合硅片与灵魂之间鸿沟的人。