The poem is a way of seeing in the dark.

我不是那种会让对球场的热爱减少的人。

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

The great advantage of telling the truth is that nobody ever believes it.

The true opponent, the enfolding enemy, is not the Russians but their own stupidity.

Dots are a way to infinity.

最好的领导者是那些多听少说的人。