I tried forcing myself to do work even despite the fact that I felt really bad and jittery and distracted, and though I didn't accomplish a tremendous amount, I did get a little done, and I feel better about the LF <-> LF* translatoin after not having substantially looked at it for a few months. The notation is much better now, I think: it suggests, albeit notation-abusively, a sort of commutativity property, which I find very easy to wrap my head around in terms of diagrams.
I tried forcing myself to do work even despite the fact that I felt really bad and jittery and distracted, and though I didn't accomplish a tremendous amount, I did get a little done, and I feel better about the LF <-> LF* translatoin after not having substantially looked at it for a few months. The notation is much better now, I think: it suggests, albeit notation-abusively, a sort of commutativity property, which I find very easy to wrap my head around in terms of diagrams.
-
(no subject)
Guy from Seattle team we've been working with showed up today at work; no matter how much I'm generally comfortable working with remote teams (and I…
-
(no subject)
After getting home from work immediately appeared to be a traintastrophe in the making, went to see Esther Schor talk about her book "Bridge of…
-
(no subject)
Sean's back in town --- good fun working with nonremote teammates.
- Post a new comment
- 0 comments
- Post a new comment
- 0 comments