of incompleteness theorems again and this
time it made sense.
Freshmeated ptkfonted 0.3.
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…