I’m not afraid to be different. I embrace it.

Poetry is perhaps what teaches us to nurture the charming illusion: how to be reborn out of ourselves over and over again, and use words to construct a better world, a fictitious world that enables us to sign a pact for a permanent and comprehensive peace ... with life.

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

创作的行为是一种反叛的行为。