"In computer science, we are always trying to find the balance between expressiveness and tractability."
在计算机科学中,我们总是在寻找表达能力和可处理性之间的平衡。
The Great Moderation was neither great nor a moderation.
The spirit is the life that itself cuts through life.
宁可有求全责备之非议,也不要有不符实情之誉。
Our scientific power has outrun our spiritual power.We have guided missiles and misguided men.