我们才刚刚开始。

"You can’t just sit down and write a book. That’s not how books get written. Books get written by living your life, by being open to the world, by paying attention."

Literature is an expression, an exploration of the inner self.

形式化方法不是银弹，但它们是追求可靠系统的重要工具。