RGA on Harisankar Bhttps://methaphur.github.io/tags/rga/Recent content in RGA on Harisankar BHugo -- gohugo.ioenharisankar.b@niser.ac.in (Harisankar B)harisankar.b@niser.ac.in (Harisankar B)© 2026 Harisankar BThu, 30 Jul 2026 00:00:00 +0000Collaborative text editing with RGAhttps://methaphur.github.io/blogs/replicated-growable-array/Thu, 30 Jul 2026 00:00:00 +0000harisankar.b@niser.ac.in (Harisankar B)https://methaphur.github.io/blogs/replicated-growable-array/Notes on a tombstone-free RGA: proved RA-linearizable in Lean 4, then found to reorder your text on delete. Why convergence is not correctness.fplNotes