3 ms·
Recently, I've been into learning about CRDTs a class of data structures which can be edited independently and merged without conflicts. They can be used to bui
by vivekseth 7y ago
Recently, I've been into learning about CRDTs a class of data structures which can be edited independently and merged without conflicts. They can be used to build experiences similar to Google Docs (although Gdocs uses a different approach called OT).
I'm interested in learning Category/Set Theory to better understand the underlying math of how they work.
I have very little experience with ML/Robotics, but CRDTs might be useful for distributed learning, or coordination between independent robots.
- formalsystem 7y agoIt's funny you mention them, I've been thinking a lot about CRDTs for online multiplayer games where you have a bunch of concurrent players changing a game state.
- Twisol 7y agoI've been taking a more domain-theoretic approach to understanding CRDTs(focusing more on the semantics than the syntax) but it appears that domain theory does have some connections to category theory: https://ncatlab.org/nlab/show/domain+theory https://ncatlab.org/nlab/show/domain+theory
- adamnemecek 7y agoWhat class was this if I may ask?
- vivekseth 7y agoWhen I said "class", I really just meant "type". CRDTs are relatively new so there may not be many classes yet that teach them. If you want to learn about them, I recommend you first watch this video: https://www.youtube.com/watch?v=OOlnp2bZVRs&list=WL&index=56&t=0s https://www.youtube.com/watch?v=OOlnp2bZVRs&list=WL&index=56... and then read this paper: https://pages.lip6.fr/Marc.Shapiro/papers/RR-7687.pdf https://pages.lip6.fr/Marc.Shapiro/papers/RR-7687.pdf . The video explains a lot of the math in a very easy to digest way and will make the paper much easier to understand.
- adamnemecek 7y agoI’m sorry, I misread. I was aware of CRDTs and I thought that they were taught in some class.