子曰:“饭疏食、饮水、曲肱而枕之,乐亦在其中矣!不义而富且贵,于我如浮云。”
孔子说:“吃粗粮、喝白水、弯着胳膊当枕头,乐也在其中了!缺少仁义的富贵,对我来说,就象天上的浮云。”
The world is full of broken stories, waiting to be mended.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
这是考验人们灵魂的时刻。