Discussed unification, join calculus encoding, grad school stuff.
Told Andrew McCallum I was interested in stopping working for WhizBang.
Sigh.
Played a round of CTFwS. We didn't win, but it was fun.
I didn't get captured, at least.
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.
Had a pleasant lunch with paul and gabe back from working-at-facebook times. Discussed the important issues of the day, by which I mean video games…