Life is ours to be spent, not to be saved.
生命是用来度过的,不是用来节省的。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
译文:树想安静下来,可风却不停吹动它,子女想要好好孝敬老人,可双亲已经不在人世了。赏析:孝敬父母要在他们生前,不要等到他们去世了,才知道孝顺之道的重要。身前一碗水,胜过死后万堆灰。在父母生前多点关心问候,比死后的悲伤哭泣更实际。
塑造我们的不是我们生活中的事件,而是我们对这些事件意义的信念。
I'm a perfectionist, and I'm pretty tough on myself.