Tag
A technical note from the Livelymerge project demonstrating that CRDT convergence (via Automerge) does not guarantee semantically correct merges for live program heaps, using a linked-list example where concurrent swaps produce truncation or cycles. The authors acknowledge the problem and sketch promising directions.
This paper presents six dimensions to characterize live feedback in interactive programming systems: granularity, reactivity, velocity, moldability, bidirectionality, and materiality, aiming to map the design space.