The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
We don't inherit the earth from our ancestors; we borrow it from our children.
戏剧是一个我们可以面对最深恐惧和欲望的地方。
People are not lazy. They simply have impotent goals – that is, goals that do not inspire them.
The devil is in the details we choose to ignore.