我们应该忘记小的效率，大约97%的时间：过早的优化是万恶之源。
We should forget about small efficiencies, say about 97% of the time: premature optimization is the root of all evil.
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
唯一的出路就是穿过。
I'm the reason your hate won't die.
"你越是试图控制镜子，它就越控制你。"
Success is a team effort—no one achieves greatness alone.
Poetry is not a turning loose of emotion, but an escape from emotion; it is not the expression of personality, but an escape from personality.