Payphone, wishing you would call me.

The aim of proof is to understand, not just to verify.

晏子春秋

In computer science, we often deal with problems that are easy to state but hard to solve.

The true cost of overfishing is measured in empty nets and broken ecosystems.

Time is a thief, but memory is a liar.

A clear mission gives direction and purpose to every action.

我们都只是路过，只留下影子。