啊，充分利用我们还能花费的东西，在我们也归于尘土之前；尘土归于尘土，躺在尘土之下，没有酒，没有歌，没有歌手，也没有——尽头！
Ah, make the most of what we yet may spend, Before we too into the Dust descend; Dust into Dust, and under Dust to lie, Sans Wine, sans Song, sans Singer, and—sans End!
富裕的人以舍得施贫为美德，贫穷的人以无所欲求为美德，显贵的人以平易近人为美德，平凡的人以无视权势为美德
过去总是紧张，未来才是完美。
过去从未消逝，它甚至还没有过去。
The only way to be a writer is to write.
模型检查是验证有限状态并发系统正确性的强大技术。