历史不是关于陌生人的故事，不是来自另一个世界的异类；它是关于如果早出生一点的我们的故事。
"History is not the story of strangers, aliens from another realm; it is the story of us had we been born a little earlier."
有时，你必须回头看，才能理解前方的事物。
Success is a series of small wins built over time.
永远不要低估一个互相信任的团队的力量。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
释义：一生中不做让自己皱眉头的坏事，这样世上就不会有恨你入骨的人。
The future of food security lies beneath the waves, if we're wise enough to cultivate it properly.