我们都有自己应对世界的方式。

The key to successful investing is to have a disciplined approach.

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

The division of labour， so far as it can be introduced， occasions， in every art， a proportionable increase of the productive powers of labour.

只要有模块化的地方，就有可能产生误解：隐藏信息意味着需要检查沟通。

"Children deserve art that challenges them as much as it delights them."

The dead have given us the gift of their genetic legacy.

——呛弗爵爷的又一条语录

最好的书是让你睁眼看世界的书。