勇气是在压力下的优雅。
"Courage is grace under pressure."
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
最终，我们都只是故事。
The real challenge is not growing more food, but growing it smarter with less waste.
耶稣、超人与特蕾莎修女从不创作艺术。只有不完美的人才能创作艺术，因为艺术始于残缺。
写作是理解世界的一种方式。
杰夫·贝索斯接受了莱克斯·弗里德曼的播客采访
At the touch of love, everyone becomes a poet.)
Technology should serve sustainability, not the other way around.