晏子春秋

Model checking is a powerful tool for verifying the correctness of hardware and software systems.

Because thought implies judgement, and because we are all paranoid enough to take judgement to be negative, it is constitutionally suspect in the bedroom.

Quality should never be compromised for speed.

内省的方法必须严格标准化。

演戏最有回报的部分是发现你内心未知的东西。

一个词的意义在于它在语言中的使用。