NEW PROOF DRAMATICALLY COMPRESSES SPACE NEEDED FOR COMPUTATION

Summary from the TLDR newsletter

Any problem solvable in time t needs only about √t bits of memory.