Sorrow is hushed into peace in my heart like the evening among the silent trees。

The person who tries to live alone will not succeed as a human being. His heart withers if it does not answer another heart. His mind shrinks away if he hears only the echoes of his own thoughts and finds no other inspiration.

能够显示的，就不能说。

Quality is not a label; it is a standard.

The best way to optimize a program is to optimize it.

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

过去不是一条线，而是一片风景。