Astonishing discovery by computer scientist: how to squeeze space into time [video]