作家必须是人性的间谍。
"A writer must be a spy on humanity."
成功是从一个失败跌到另一个失败而不失去热情。
The best way to predict the future is to create it.
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."