少即是多。

"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."

"The best films are the ones that make you think, that challenge you, that stay with you long after you've left the cinema."

我不是说唱歌手，我是一个国王。

大多数人害怕变化，但如果你把它看成是某种你总是可以依赖的东西的话，那它就能成为一种安慰。世上你能依赖的东西并不是很多。