"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
I believe that every human has a finite number of heartbeats. I don't intend to waste any of mine running around doing exercises.
我总是带着目标工作，目标是作为一名球员和一个人不断进步。
In the information age, knowledge is the only sustainable competitive advantage.
Planning to write is not writing. Outlining, researching, talking to people about what you're doing, none of that is writing. Writing is writing.