"The inner spaces that a good story lets us enter are the old apartments of religion."

The future of computing lies in the development of systems that can verify their own correctness.

You have to be willing to sacrifice to get what you want or what you need.