lifelonglearner comments on AI Safety Prerequisites Course: Basic abstract representations of computation