The best architecture emerges from constraints.

The writer must be a perpetual outsider, a critic of all orthodoxies.

最有力的作品是那些挑战我们对现实认知的作品。

写作是一种说“我存在”的方式。

I wanted to sell a million records, and I sold a million records. I wanted to go platinum; I went platinum. I’ve been working nonstop since I was 15. I don’t even know how to chill out.

量子世界在我们看来是一个关系网，而不是物体的集合。

形式验证的挑战在于弥合抽象模型与实际实现之间的差距。