There's now an amazing YouTube video on this result, by Kelsey Houston-Edwards:
https://lnkd.in/gS_sVJdV
She gets into the space-reusing tricks that enable "simulating time" with a remarkably small amount of space. Also, it turns out the problem had an interesting backstory, including a $100 bet.
Highly recommend it!