Customer obsession is the starting point for everything we do.
"The past is a foreign country; they do things differently there."
The future of computing lies in the development of systems that can verify their own correctness.
I don’t have time to worry about something as trivial as what I look like.