And when you do I want you to know this， remember this: there is no such thing as failure. Failure is just life trying to move us in another direction. Now when you’re down there in the hole， it looks like failure. So this past year I had to spoon feed those words to myself.

学习新编程语言的最好方法是用它编写程序。

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