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.