Tom Ritchford
Oct 7, 2022

--

Good stuff!

In particular, I always forget about `deque`, though to be fair, push and pop have never showed up as big time consumers when profiling.

--

--

No responses yet