系统设计的未来在于将形式化方法与传统工程实践相结合。

音乐是灵魂的药方。

Protect me from what I want.

如果一个作家不能激起敌意，那他就已经死了。

I never know what I think about something until I read what I've written on it.

成功的道路是采取大规模、坚定的行动。

你的时间有限，所以不要浪费在过别人的生活上。