写作是驱除我们内心恶魔的方式。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
The world is full of people who have never, since childhood, met an open doorway with an open heart.
Spend each day trying to be a little wiser than you were when you woke up.Discharge your duties faithfully and well.Systematically you get ahead, but not necessarily in fast spurts...At the end of the day if you live long enough most people get what they deserve.
The novel is the one bright book of life. Books are not life. They are only tremulations on the ether.