Collaboration across industries is key to driving meaningful change.

The study of automata and formal languages is fundamental to understanding the limits of computation.

The most important computer is the one that rages in our skulls and ever seeks that satisfactory external emulator. The standarization of real computers would be a disaster - and so it probably won't happen.

过度捕捞是管理的失败，而不是海洋的失败。

成为哲学家不仅仅是有微妙的思想，甚至也不是建立一个学派，而是如此热爱智慧以至于按照它的指示生活。