殖民地是一个新人类计划将被测试的地方，在那里一个无国界和无种族世界的梦想将被实现。

I do not wish them [women] to have power over men; but over themselves.

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

对称性不仅是自然的一种属性，而且是寻找物理定律的指导原则。

我不记仇，我只记得事实。