Didn't actually do topos talk today.
Hopefully will get it substantially done next week.
Something that's bugged me for a long time is this: How many paths, starting at the origin, taking N steps either up, down, left or right, end up at…
Didn't sleep well. Long day of work. Dinner with akiva at hanamichi.
K was going to do a thing for her dad's birthday, but scheduling kept slipping and slipping so I guess we're going to try doing it tomorrow instead.