Closed jsikyoon closed 11 months ago
Hi, that would be an obvious implementation but too expensive to pop from the middle of the array. Instead, we pop a different element from the end and then write it into the slot in the middle of the array that needs to be erased.
Shouldn't it be
last = self.keys.pop(index)
?https://github.com/danijar/dreamerv3/blob/main/dreamerv3/embodied/replay/selectors.py#L42