世界并不是简单地分为好人和食死徒。

Thoughts pass in my mind like flocks of lucks in the sky.I hear the voice of their wings .

The essence of causal inference is to go beyond the data and ask what would happen if we intervene.

I'm not afraid to tell my story because it might help someone else.

Life is about taking chances and going for it.

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

大国总是在寻找机会以牺牲对手为代价来获取权力，如果他们认为使用武力会带来利益，他们就会使用武力。