"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."

I am a writer because I need to tell stories. It's a way of understanding life.

Literature is the only way to run away without leaving home.

海洋养育了我们，我们必须回报以保护。

实验室里的失败不是挫折，而是数据。

如果船长的最高目标是保住他的船，那他会永远把它停在港口。

巧克力饼干是红色的，巧克力饼干是蓝色的，巧克力饼干是甜甜的，你也是甜甜的。