最好的肥料是园丁的影子。
公平竞争是足球的基石;没有它,比赛就失去了灵魂。
Stay humble, stay hungry.
幸福的秘诀是:尽量扩大你的兴趣,对感兴趣的人和物尽可能友善。
The future of computing lies in the development of systems that can verify their own correctness.