The act of remembering is an act of resistance.

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

世界因你的关注而存在。忽略爱人，感情会淡；忽略梦想，人生会平庸。主动“看见”，生活才会鲜活起来。

伤口是光进入你的地方。

Curiosity is the engine of innovation.

我们将有一天会明白，死永远不能够夺去我们的灵魂所获得的东西，因为她所获得的，和她自己是一体。