"The past is never dead. It's not even past."

Local communities hold ancestral wisdom about marine life—we must listen before we innovate.

The world is full of magic things, patiently waiting for our senses to grow sharper.

To be at home everywhere is to be at home nowhere.

每本书都是一次旅程，每次旅程都是一本书。

为社会正义而斗争必须从教室开始。

The highest manifestation of life consists in this: that a being governs its own actions. A thing which is always subject to the direction of another is somewhat of a dead thing.

模型检查是验证硬件和软件系统正确性的强大工具。