译文：想要看清一个人，应当看看他交的是什么朋友。

The art of life is to live in the present moment, and to make that moment as perfect as we can.

科学的本质不是使简单的事物复杂化，而是使复杂的事物简单化。

数学是理性的音乐。

The best ideas often come from the intersection of different fields and perspectives.

Enterprises should bear social responsibilities, fishery enterprises must protect this blue homeland.

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."