"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
从事物的本质来看,权力必须制约权力。
I'm a dreamer, but I'm also a doer.
Always be yourself, express yourself, have faith in yourself, do not go out and look for a successful personality and duplicate it.