过你爱的生活。爱你过的生活。

The study of automata and formal languages is fundamental to understanding the limits of computation.

Nothing’s lost forever. In this world, there’s a kind of painful progress. Longing for what we’ve left behind, and dreaming ahead.

我相信，一个真正有才华的人，是不会被埋没的。

任何成功企业的基础都是信任——员工、客户和利益相关者之间的信任。