Great new work from : inkandswitch.com/cambria.html
Local-first software is a great aspiration, but iterating on decentralized data structures is indeed a nightmare I've been living with as I build . Excited for these ideas on more predictable data evolution.
Conversation
I wonder how to test / formally model the consistency property you'd want the lenses to describe.
3
7
I've maybe made the problem needlessly hard on myself by using content-addressable identifiers for CRDT log structures (including their parent pointers). Did that so I could serialize to IPFS or similar, but it means I have to rebase the whole tree whenever the structure changes.
4
12
Ah yes, that was how we wound up using hypercores, which have stable names over time. Let's have a talk about this -- we've done quite a bit of work and may be able to help you avoid falling into some of the traps we did.
1
1
4
Replying to
Ah! Thank you. I will go read that paper and then try to write you an email. :)
Replying to
Did you read PushPin? There's a lot of good stuff for you in there: martin.kleppmann.com/papers/pushpin
1
2
I did! Very helpful, thank you. I even spent some time with the code, thinking about using it as a demo project for porting to React Native + Catalyst. Ended up using another project, but was fun to dig in.
1
Show replies