没有道德或不道德的书,只有写得好或写得差的书。
There is no such thing as a moral or an immoral book. Books are well written, or badly written.
Leadership is not about giving orders; it's about inspiring your team to see the bigger picture and strive for excellence.
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
"The best ideas come when you're not trying too hard."