Figma’s Real-Time Editing of Ordered Sequences (2017) | Hacker News Reader