"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
每一本书都是一次旅程，每一次旅程都会改变我们。
La poesía es la única prueba concreta de la existencia del hombre.
一部伟大的电影是那种给你留下更多问题而不是答案的电影。
要在交易中成功，必须要有规则并遵循它们。
