最坚固的锁链是由恐惧而非钢铁制成的。
要重生，首先你必须死去。
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
当有人说“我想要一种只需要说出我想做的事的编程语言”时，给他棒棒糖。
世界充满了诗歌。空气中充满了它的精神；波浪随着它的旋律的音乐跳舞，并在它的明亮中闪烁。
我不是那种会让对伟大的爱减少的人。