I write to make sense of my own existence.

我不想成为神。我想成为人。

通往性别平等的道路既有进步，也有持续的挑战。

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

存在两种可能性：要么我们在宇宙中是孤独的，要么不是。两者都同样可怕。