Mastodon Feed
ireneista@irenes.space ("Irenes (many)") wrote:
we had thought we might also want to keep the array sorted at all times, which would have been a semantics change we'd have to test carefully, but it turned out we could get the performance improvement without doing that (it's probably still mostly sorted)