"We're just getting started."
Life would be infinitely happier if we could only be born at the age of eighty and gradually approach eighteen.   
我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
I've had to learn to fight all my life - got to learn to keep smiling. If you smile, things will work out.