News for hackers. Stuff that matters.
Re:Katara: Synthesizing CRDTs with Verified Lifting by stevenfabre on Tuesday September 27, 2022 @02:48AM (#32992206)
Awesome to hear from the Notion team who really gets this deeply.

Slate definitely has its own limitations, especially when used on non desktop devices. Seems like ProseMirror would be a good open source alternative to Slate, what do you think?

Re:Katara: Synthesizing CRDTs with Verified Lifting by jitl on Tuesday September 27, 2022 @10:16AM (#32995504)
ProseMirror did the best the last time I tested these libraries. TipTap (a competitor of yours?) provides an API layer on top, which I haven’t spent much time investigating. For my purpose I don’t want intermediary abstractions - but might be useful for your context depending on how much you want to specialize in rich text.