投资中最重要的是避免亏钱。

The only way to deal with death is to transform everything that precedes it into art.

"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."

I'm not a rapper, I'm a counting legend.

Writing is a way of bearing witness to the world.

真实的生活缺席了。我们不在这个世界上。

我们还有很长的路要走，但我们正朝着正确的方向前进。