It is futile to demand an a priori proof of the existence of objects which are not immediately ‘given’.

All good writing is swimming under water and holding your breath.

The best way to predict the future is to create it.

我们需要思考如何让计算机以更直观和自然的方式为我们工作。