"To live is to be in constant dialogue with death."

"We are all in the gutter, but some of us are looking at the stars."

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

"The world is changing very fast. Big will not beat small anymore. It will be the fast beating the slow."

我不是说唱歌手，我是一个计数的传奇。

"Find me and I’m gonna live with you."

Sometimes the simplest songs are the hardest to write.

我不是一个生活在恐惧中的女孩。我是一个生活在自由中的女孩。