The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
当一个人做出彻底的蠢事,那通常是出于最高尚的动机。
英雄和恶棍之间的界限常常因视角而模糊。
想得大,想得长远。
心中没有成见则处事公平,心中没有自我则光明正大。