我是一个非常情绪化的人。我动不动就哭。
Change your thoughts and you change your world.
你无法控制生活中的一切,但你可以控制自己对它的反应。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.