Winning is not always the barometer of getting better.
作家必须是被边缘化的人、被遗忘的人、被击败的人的捍卫者。
The future of computing lies in the development of systems that can verify their own correctness.