The act of writing is an act of resistance against forgetting.
“你得丢开以往的事,才能不断继续前进!”我想那就是我这次跑步的意义了。
The future of computing lies in the development of systems that can verify their own correctness.
Life is the sum of all your choices.