I did some first-day-of-month bureaucracies so I feel like I didn’t do much math on this day.

I wrote Type checking vector spaces, Properties of a list of vectors and their images, and Mental representations in mathematics.

I did some exercises in Cutland’s computability book.

I thought a bit about the relationship between dot product and the angle between two vectors.