"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
我是自由的,無論周圍有什么規(guī)則。如果我覺得它們可以忍受,我就忍受它們;如果我覺得它們太討厭,我就打破它們。我是自由的,因為我知道只有我自己在道德上對我所做的一切負責。
我不讓消極情緒影響我,我只是繼續(xù)前進。