All happy families are alike; each unhappy family is unhappy in its own way.

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

We are all time capsules carrying fragments of the past.

I used to walk down the street like I was a star... I want people to walk around delusional about how great they can be.

The most important thing in architecture is the relationship between the building and its context.

He who has no homeland is like a nightingale without a green forest.

当思想掌握了群众，它就成为一种物质力量。