Premature optimization is the root of all evil.

我相信讲故事的力量可以改变世界。

I don’t know what the market is going to do. I just try to buy things that are cheap.

诗歌不仅是一种艺术，它是一种生活方式。

艺术是社会的一面镜子，但它也可以是一把塑造社会的锤子。

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

The study of automorphic representations is a reflection of the depth of mathematical abstraction.