真正的工艺在于让困难的事情看起来毫不费力。
The future of computing lies in the development of systems that can verify their own correctness.
Productivity is being able to do things that you were never able to do before.