"Every story has a beginning, a middle, and an end, but not necessarily in that order."

Don't give up easily, because you never know what will happen in the next second.

探求事理方法要缓缓，仔细品尝涵泳才能有所心得；欲念决断方法要果断，奋力果决才能自新。

We must invest in people as much as we invest in technology.

The essence of computer science is the study of algorithms and their efficiency.

The only way to do great work is to love what you do.

Art is a way of thinking with your hands.

"I can resist everything except temptation."

最好的领导者是那些最热衷于让比自己更聪明的人围绕在身边的人。

形式化方法的美在于它们能够提供关于系统行为的绝对保证。