有趣 / 有料 / 涨知识

The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.

我很喜欢圣奥古斯丁在“上帝之城”里的一句话，他说“以社会地位评价人是一种罪”。用现在的口吻说，看一个人的名片来决定你是否要和他交谈是罪。对圣奥古斯丁来说，人的价值不在他的社会地位，只有神可以决定一个人的价值，他将在天使围绕、小号奏鸣，天空破开的世界末日给于最后审判，如果你是像我一样的世俗论者，这想法太疯狂了，但这想法有它的价值。

I'm drawn to a lovely quote by St. Augustine in "The City of God," where he says, "It's a sin to judge any man by his post." In modern English that would mean it's a sinto come to any view of who you should talk to, dependent on their business card. It's not the post that should count. According to St. Augustine, only God can really put everybody in their place; he's going to do that on the Day of Judgment, with angels and trumpets, and the skies will open. Insane idea, if you're a secularist person, like me. But something very valuable in that idea, nevertheless.

阿兰·德波顿

得饶人处且饶人，得将就处且将就。

曹雪芹

什么树根在抓紧，什么树根在从这堆乱石块里长出？人子啊，你说不出，也猜不到，因为你只知道一堆破烂的偶像，承受着太阳的鞭打枯死的树没有遮荫。蟋蟀的声音也不使人放心，焦石间没有流水的声音。只有这块红石下有影子。

托马斯·艾略特

不应该因为现实的不满意，就迁怒于那亘古的梦想，说它本来没有。

史铁生

如果在你成长的世界里有你不喜欢的东西，那就让你自己的生活与众不同。

戴夫·托马斯

永远不要对敌人心存报复，那样对自已的伤害将大过对别人的。

卡耐基

即使是一块牛肉，也应该有自己的态度，要慎其独，要善其身，要知道精彩的人生不能只有精肉，还要有适宜的肥油做调配，有雪白的肉筋做环绕，并且还要掌握跳进煎锅时的角度，姿势，以及火候，才能最终成为一块优秀地道的西冷牛排。