The future of computing lies in the development of systems that can verify their own correctness.
生活中重要的不是凯旋而是奋斗,其精髓不是为了获胜而是使人类变得更勇敢、更健壮、更谨慎和更落落大方。
写作是关于找到勇气去讲述需要被讲述的故事。