我喜欢创作既易于理解又有深度的作品。
矿工最伟大的工具不是他们的设备,而是他们的判断力。
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.