"In every war, there are two truths: the truth of the victors and the truth of the vanquished."
你赢得越多,就越相信自己,越想赢下去。
作家最大的挑战不是找到正确的词语,而是在这些词语中找到真相。
模型检查是验证硬件和软件系统正确性的强大工具。
The architect must be a healer of the urban fabric.
选择一个简单的理念,矢志不渝地去执行。