<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">

<div class=""><div class="h5"><span style="color:rgb(34,34,34)">Causal ordering.</span><br></div></div>
</blockquote></div><br></div><div class="gmail_extra">Does this help solve the UI problem? We could design a chat protocol where every participant has a Lamport clock and these are committed to in each message as an alternative to the "git commit history" formulation considered above. This would get us some nice guarantees and maybe even some code to re-use, but there isn't a magic way to display messages with these timestamps intuitively either. It's not a good sign that Wikipedia uses diagrams like this to try and explain the concept: <a href="http://upload.wikimedia.org/wikipedia/commons/5/55/Vector_Clock.svg">http://upload.wikimedia.org/wikipedia/commons/5/55/Vector_Clock.svg</a> </div>

</div>