形式化方法不是银弹,但它们是追求可靠系统的重要工具。
The best discoveries come from asking the right questions.
伟大的领导力在于创造更多的领导者,而不是更多的追随者。
作家是一个总是试图推动语言的边界,探索语言的极限,看看语言能做什么的人。
孩子需要先感受到被理解,才能改变他们的行为。