"New algorithms for collaborative text editing" by Martin Kleppmann (Strange Loop 2023)