The only thing standing between you and your goal is the story you keep telling yourself as to why you can’t achieve it.

"The dead are as real as the living, but in a different way."

最艰难的决定往往带来最大的回报。

模型检查是验证有限状态并发系统正确性的强大技术。