This advance in data structures seems trivial but is actually super neat, and maybe makes dicts with fast insertion a whole lot smaller in the future.
(But, I suspect, only in the future, because it's going to be an absolutely murderously bad constant factor in the present, because repeated […]