"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
"La literatura es una forma de resistencia, de lucha contra la injusticia y la opresión."
Emotions are not just reactions; they are also predictors of our future behavior.