I worked through this worksheet about a basis for kernel and image. I did some other linear algebra stuff as well. I read the “Coordinates” note from Vipul Naik’s linear algebra notes.

I returned to Kleene’s first and second recursion theorems. I was able to prove both (using the s-m-n theorem) without looking at notes, but I still feel like I don’t really understand these. I went to Sipser’s book to see how he did things there.