Trading space for time

Nice video about a very cool result drastically lowering the space bound for programs run on multi-tape turing machines.

I often like to read the quanta articles for results like this, and this one is good as well

The actual paper is here, Simulating Time with Square-Root Space, and builds on the work by Cook and Mertz in Tree Evaluation is in Space O(log n · log log n)

via lobste.rs, a place I wouldn't expect to usually hear about results in computation, a field I used to follow but no longer really keep up on at all.