Jason (jcreed) wrote,

omg lics deadline approaching like a pigeon heading for some intake valve of a reentrant spaceship. My immediate future smells like BOOM. Specifically there is a paper that seems to have already constructively proven the thing that I thought I proved constructively first, which is a major bummer. Still, my proof itself is a new proof, and it's formalized, which maybe counts for something.

I spent part of my working time listening to iole200 and grammarnerd make awesome music, which was awesome.


Holy crap, this is starting to resemble an actual paper. Where did that come from?


A kind of middling paper, but it's a paper, and it's submitted.
Tags: work
  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded