3 ms·

It's a joke that he took seriously enough to actually program a mars rover in TeX. I am both amused and awed.