The night is my lover, and the music is my mistress.
夜晚是我的爱人,音乐是我的情妇。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
We are communal histories, communal books. We are not owned or monogamous in our taste or experience.
I think a simple rule of business is, if you do the things that are easier first, then you can actually make a lot of progress.
经济进步既依赖于新想法,也依赖于更好的实施。