"The truth is, we don't know what we want until we see it."

煤炭不是问题所在，问题在于我们如何使用它。解决方案在于更清洁的技术和更好的利用。

理论计算机科学不仅仅是解决问题，更是理解计算本身的本质。

Solitude gives birth to the original in us, to beauty unfamiliar and perilous—to poetry.

君子之交淡如水，小人之交甘若醴。