"In the end, we are all stories."

The future of computing lies in the development of systems that can verify their own correctness.

Color is my day-long obsession, joy, and torment.

人比自己想象的要坚强。