Jazz is freedom. You think about that.

你越是赞美和庆祝你的生活，生活中就越有值得庆祝的东西。

镜子经过淬炼会越来越明亮，钢铁经过锤炼会越来越坚硬。

We're flooding people with information. We need to feed it through a processor. A human must turn information into intelligence or knowledge. We've tended to forget that no computer will ever ask a new question.

形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。