编程小记: bug、clojure 状态和 paxos