你必须愿意失败，愿意犯错，愿意看起来愚蠢。

灵魂有幻觉，就像鸟有翅膀：它靠它们支撑。

思维的速度比光更快，因为它能瞬间穿越时间维度。

Have a heart that never hardens, and a temper that never tires, and a touch that never hurts.

形式化方法的美在于它们能够提供关于系统行为的绝对保证。

我是火星人，眼里没有星星。

我是一个女权主义者，我为此感到自豪。