The past is always with us, for it feeds the present.
The saying that a little knowledge is a dangerous thing is, to my mind, a very dangerous adage.
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
书籍是反映我们挣扎的镜子。
We are all the sum of our memories.
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
对付不自由世界的唯一方法，就是变得彻底自由，以至于你的存在本身就是一种反抗。
Do every duty, and expect no reward for it.
