infryq

Yesterday I did a bunch more reading about type theory, with several
retracing previous topics by new authors, which helped. It still takes a
lot out of me mentally, and I had to cancel a lunch date with S & C, which
sucked. But I was able to write more coherently about what we want to do,
so, net win?

P had the car on campus to attend a talk on communication skills across all
CMU departments, so he drove us home. Earlier, he was interviewed by a
student studying urban community gardens, which is pretty cool.

After work was standard beverage/ceramics forums/dinner/crossword. We found
the lower left corner unusually difficult with two false starts, but the
rest of the puzzle was straightforward and we still came in about average
time.

I spent the rest of the evening doodling border patterns and listening to
Time’s Convert, the new book in the Discovery of Witches universe. It’s
either slightly more ham-handed than the previous books, or I’ve grown as a
reader, not sure. Still entertaining though. Mild tw for child abuse and
war injuries but she tends not to dig too hard into the visceral stuff.