Nor is research productivity going particularly well lately, sad to say. Not sure if I have anything but myself to blame on that count. As optimistic notes, I do have basically a paper that I want to write about unification and another one about type inference of which I have a sensible outline at least. If not "merely filling in the blanks", then at least I can describe what I need to do with them as "staring rather hard at the blanks and seeing if I can't be clever enough to put something appropriate in them".
Nor is research productivity going particularly well lately, sad to say. Not sure if I have anything but myself to blame on that count. As optimistic notes, I do have basically a paper that I want to write about unification and another one about type inference of which I have a sensible outline at least. If not "merely filling in the blanks", then at least I can describe what I need to do with them as "staring rather hard at the blanks and seeing if I can't be clever enough to put something appropriate in them".
-
(no subject)
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…
-
(no subject)
Didn't sleep well. Long day of work. Dinner with akiva at hanamichi.
-
(no subject)
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.
- Post a new comment
- 5 comments
- Post a new comment
- 5 comments
