Jason (jcreed) wrote,

I got some work done, however small, on all three active fronts today; writing a paper for HyLo about my Crazy Labelled LF Variant, revising the rejected LICS paper for submission to LFMTP, and working on slides for my speaking skills requirement talk. If I can only come up with a proof that the fragment of bunched logic I care about (additive arrow, conjunction, and unit, and multiplicative arrow) is complete with respect to the corresponding subset of the aforementioned CLLFV, I think I will have a totally sweet paper. I just managed to get soundness this morning, and I am optimistic I can work out completeness given another day or so.

Went to haydensphere and neelk's engagement party. I was slightly confused, thinking "The Party Room" listed in the invitation was a euphemism for the host's apartment, but no, there is a Party Room in the basement of (at least one of the buildings of) Amberson Apartments. Funny how parties where I already know 90% of the people there, and mostly they are all giant nerds anyhow, are very low-stress and high-fun. If I have socialized farther than others, it is because I was standing on the shoulders of giant nerds.

Also there was a sweet organ in the Party Room, tucked around the corner. It had tons of little buttons and lights and pull-levers and delightfully sturdy rocker switches. It was like I was playing musical pinball or something.
Tags: music, social, work

  • (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)

    Thai curry leftovers for dinner. Got a copy of Hennessy and Patterson's textbook on Architecture, and I am enjoying catching up on all the low-level…

  • (no subject)

    Finally the end is in sight for unpacking my books. Heartstrings are pulled over the desire to slim down and get rid of some of them, but so many are…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded