诗歌应当像利剑一样锋利。
A method of solution is perfect if we can foresee from the start, and even prove, that following that method we shall attain our aim.
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
怀疑并不是令人愉快的状态，但确信是荒谬的。
审判自己比审判别人难多了，如果你正确地审判了自己，那么你就是一个真正的智者了。
I've always been interested in the complexity of characters, the layers that make them human.
Little bitty stinging rain, and big old fat rain, rain that flew in side every ways.
