The future of computing lies in the development of systems that can verify their own correctness.
谋划先于行动,就会繁荣昌盛;行动先于谋划,就会失败灭亡。点评:《中庸》曾言「凡事豫则立,不豫则废。」没有事先的计划和准备,做事情很难成功的。
I believe in the power of storytelling. It's how we make sense of the world.