2019-01-01
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.
Reply