Literature is a form of permanent insurrection.

The next generation will judge us by what we leave in the water, not what we take out.

形式化方法的美在于它们能够提供关于系统行为的绝对保证。

"Every murder has its own melody."

The eyes of others our prisons; their thoughts our cages.

最终，我们记住的不是敌人的话语，而是朋友的沉默。