The art of discovery is not in finding new lands but in seeing with new eyes.

If you don't give up, you still have a chance. Giving up is the greatest failure.

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

"The world is full of stories, but the stories are all one."

朗兰兹纲领是离散和连续之间的桥梁。

The stupid believe that to be truthful is easy; only the artist, the great artist, knows how difficult it is.

书籍是很好的礼物，因为它们里面包含了整个世界。

法律的目的不是废除或限制，而是维护和扩大自由。