Simulating Time with Square-Root Space by Ryan Williams [video]