当你失败时，那就是你站起来再试一次的时候。没有理由就这样倒下。
When you fail, that's when you get up and try again. There's no reason to just stay down.
Every book is a journey the writer takes alone first.
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
释义：人才没有固定不变的价值，器物没有一成不变的用处。
The first question I ask myself when something doesn't seem to be beautiful is why do I think it's not beautiful. And very shortly you discover that there is no reason.
Energy efficiency is the unsung hero in our quest to reduce emissions.
Silence is argument carried out by other means.
The computer is unimportant. It can only give you answers.
写作的行为是一种乐观的行为。如果你觉得它不重要，你就不会费心去做。