文学是社会的镜子。

To be a writer is to have a certain kind of sensitivity to the world, to be able to see what others do not see, to hear what others do not hear.

游戏行业是一个很棒的行业。它富有创造力，令人兴奋，而且总是在变化。

Model checking is a powerful tool for verifying the correctness of hardware and software systems.

作家必须愿意为真相冒一切风险。