Gap Buffers: a data structure for editable text | Dark Hacker News