"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.
All that we see or seem is but a dream within a dream.