The five steps
- Iterate and checkpoint 9 min
- Skipping ahead 9 min
- Chunks that cost something 11 min
- State that knows what it belongs to 10 min
- Merging several streams 11 min
Iterate a sequence delivered in chunks, then make the position saveable: skip ahead, pull chunks only when needed, reject state that no longer fits the data, and merge several checkpointed streams into one.