The future of computing lies in the development of systems that can verify their own correctness.
When given the choice between being right or being kind , choose kind.
每部电影都是一次旅程,每个角色都是一个目的地。
The piano is like an old friend to me.