You smiled and talked to me of nothing and I felt that for this I had been waiting long.
法律不是规则的体系,而是原则的体系。
The best art is the art that stays with you.
我是个完美主义者,我承认这一点。我总是在努力改进。
The future of computing lies in the development of systems that can verify their own correctness.
我不是行业的产物,我是自己愿景的产物。