We encode time in space, and pay in complexity · HackerLangs