--- Log opened Fri Jun 14 00:00:18 2013
02:36 < conseo> the merits of serial counters http://christophermeiklejohn.com/coq/2013/06/11/distributed-data-structures.html ... :-P
13:29 < mcallan> hmmm... by the way, looks like harvester won't be broken.  it just won't be able to harvest new-format diff messages till you make changes
13:44 < conseo> ok, cool
15:52 < conseo> interestingly the distributed data structures use quorums and votes to arrange the needed level of consistency (while they eventually converge anyway)
--- Log closed Sat Jun 15 00:00:35 2013