I also got some real work done. Had a lot of interesting talk with tom7 and noam about classical logic. Lots of it was recalling, with embarrassing slowness, things that I learned some years ago and since forgot.
I also got some real work done. Had a lot of interesting talk with tom7 and noam about classical logic. Lots of it was recalling, with embarrassing slowness, things that I learned some years ago and since forgot.
-
(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)
Didn't sleep well. Long day of work. Dinner with akiva at hanamichi.
-
(no subject)
Sean's back in town --- good fun working with nonremote teammates.
- Post a new comment
- 5 comments
- Post a new comment
- 5 comments