[messaging] Partial order group chat with partial history visibility
infinity0 at pwned.gg
Wed May 25 05:32:20 PDT 2016
> However, for the longest time I couldn't construct any examples that actually concretely indicate this problem, to be able to study it further. Now finally I've proved that this is actually false, and the more counter-intuitive result holds, i.e.:
Scratch the whole thread, turns out I actually wrote down a concrete example back in Jan 2015  and forgot about it. It is rather a specific example, and to construct it requires some context on simpler special examples on why some other things don't work, and I had forgotten about the whole episode. I also found the error in my "proof", but at least it was useful trying to practise such techniques.
More information about the Messaging