"The poet's job is to pay attention, then to pay attention to what they've paid attention to."

The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.

森林的真正价值不能用板材英尺来衡量，而应该用地球的呼吸来衡量。

The heart is a fragile thing, easily broken but hard to mend.

Believe you can and you're halfway there.

能源转型不仅仅是替换一种能源为另一种能源，而是整个能源体系的变革。

The value of literature lies in its ability to let us experience others' lives and thus better understand ourselves.