我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
【大意】古来圣哲不珍视直径成尺的璧玉,却珍重每一寸光阴,因为时间最是难得,却最容易失去。
Escribir es un acto de fe en la palabra y en el poder de la imaginación.
"Every portrait that is painted with feeling is a portrait of the artist, not of the sitter."
——温格谈到对他转会策略的一些批评,这是一个经常被谈论的话题,围绕这一点还有最已阵传阿森纳等一些调侃