我不是来追求完美的,我是来展现真实的自己。
I am too intelligent, too demanding, and too resourceful for anyone to be able to take charge of me entirely. No one knows me or loves me completely. I have only myself.
Technology is a way of revealing.
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
Never give up. Today is hard, tomorrow will be worse, but the day after tomorrow will be sunshine.