@lindsey@recurse.social on a more pop-CS note, did you see Joe Hellerstein’s recent blog series on CRDTs? Curious to hear more academic opinions on it.