系统设计的未来在于将形式化方法与传统工程实践相结合。
音乐是灵魂的药方。
Protect me from what I want.
如果一个作家不能激起敌意,那他就已经死了。
I never know what I think about something until I read what I've written on it.
成功的道路是采取大规模、坚定的行动。
你的时间有限,所以不要浪费在过别人的生活上。