Talent is how quickly your skills improve when you invest effort. Effort is what makes skill productive.

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

The total speech act comprises both the act of uttering words and the act of meaning.

我们这个时代的真正建筑将是反映我们精神需求的建筑。

仲弓问仁。孔子说：“出门时要象会见贵宾一样庄重，建工程时要象举行盛大祭典一样严肃。自己不愿做的，不要强加于人。同事中相处融洽，亲属中和睦友爱。”仲弓说：“我虽不才，愿照此办理。”

世上只有一件事比被人议论更糟糕，那就是没有人议论你。