可持續(xù)性不是一種選擇；它是我們星球未來的必需品。
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
Writing is a way of talking without being interrupted.
Perhaps one day you muster the courage, to make a clean breast of everything in the heart only ended up to let others see the joke, because they did not understand you to say what, also don't know why do you think things are so important, say, almost cried out. I think the worst thing in the world, than with full of heart and secret, but no one can tell, but no one can understand!