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

The alternation of motion is ever proportional to the motive force impressed; and is made in the direction of the right line in which that force is impressed.

冒险是必要的，但经过计算的冒险才是天才之举。

I think music is a magical thing. It can make you happy or sad, but most importantly, it makes you feel the beauty of life.