人世间的一切在我看来是多么可厌、陈腐、乏味而无聊!
How weary, stale,flat and unprofitable seem to me all the uses of this world!
The future of computing lies in the development of systems that can verify their own correctness.
The future of steel lies in sustainability and innovation.
如果你觉得要撞车了,那就更用力踩油门。
预测未来的最好方式就是去创造它。