言语是行动之影,行动是言语之踪。
 Speech is the shadow of action; action is the manifestation of speech.
The best way to have a good idea is to have a lot of ideas.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
The saddest aspect of life right now is that science gathers knowledge faster than society gathers wisdom.
译文:树想安静下来,可风却不停吹动它,子女想要好好孝敬老人,可双亲已经不在人世了。赏析:孝敬父母要在他们生前,不要等到他们去世了,才知道孝顺之道的重要。身前一碗水,胜过死后万堆灰。在父母生前多点关心问候,比死后的悲伤哭泣更实际。
The materials I use are not just objects; they are carriers of meaning.