Extract ranges more efficiently
agrueneberg opened this issue · 1 comments
agrueneberg commented
Right now each element is extracted individually. We could just read in chunks and go from there. This should be a significant optimization for most use-cases.
agrueneberg commented
Not a problem anymore thanks to memory mapping.