I think the best movies are the ones that make you think, that challenge you.
人最重要的品质是勇气。没有它,其他品质都毫无价值。
The mother-child relationship is paradoxical and, in a sense, tragic. It requires the most intense love on the mother's side, yet this very love must help the child grow away from the mother, and to become fully independent.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
建筑的魔力在于墙壁之间的空间。
Out, out, brief candle! Life's but a walking shadow, a poor player That struts and frets his hour upon the stage And then is heard no more. It is a tale Told by an idiot, full of sound and fury, Signifying nothing,