时尚是一种让人难以忍受的丑陋，以至于我们不得不每六个月就更改一次。

Technology in mining isn't about replacing people; it's about empowering them to do better work.

Beware of the Turing tar-pit in which everything is possible but nothing of interest is easy.

性能的关键在于优雅，而不是一堆特殊情况。

People, even more than things, have to be restored, revived, reclaimed and redeemed; never throw out anyone.

数学的本质不是把简单的事情复杂化，而是把复杂的事情简单化。