Computer programming is an art, because it applies accumulated knowledge to the world, because it requires skill and ingenuity, and especially because it produces objects of beauty.

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

The secret of change is to focus all of your energy, not on fighting the old, but on building the new.

Money complicates things, but it doesn't change the fact that art is about life and death.