在计算复杂性中，我们不仅仅是在处理我们能计算的极限，也是在处理我们能证明的极限。
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.
The only way to survive is to take care of each other.
没有快乐地生活是正义的特权。
The roads are full of crowds going somewhere, but nobody knows where they are going.
农业创新需要我们在尊重自然平衡的同时跳出常规思维。