The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
找到自己的最好方法就是在为他人服务中迷失自己。
It seems to me that if you or I must choose between two courses of thought or action, we should remember our dying and try so to live that our death brings no pleasure to the world.