实现明天理想的唯一障碍是今天的疑虑。

文学和新闻的区别在于新闻不可读，而文学没人读。

I’m a great believer in solving hard problems by using a checklist. You need to get all the likely and unlikely answers before you; otherwise it’s easy to miss something important.

我们都是破碎的，光就是这样照进来的。

我们实现明天的唯一限制将是我们今天的怀疑。

Diversity is the future. We're all different, and those differences make us stronger.

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

"The writer is the conscience of society."

社会主义的功能是将苦难提升到一个更高的层次。