The essential thing is not to have conquered but to have fought well.
The future of computing lies in the development of systems that can verify their own correctness.
书籍是最安静、最恒久的朋友;它们是最易接近、最睿智的顾问,也是最耐心的老师。