地球的历史书写在其板块的运动中。

顺应常道是凡人，逆反常道可成仙，关键在于颠倒常规的思维方式。

质量就是在无人注视时依然把事情做对。

作家不是创造者，而是世界的发现者。

The web is for everyone and collectively we hold the power to change it.

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

建筑是关于理解世界并改造它。