Our paper got into PLACES ( Read more... )

I spent last Thursday, Friday and Saturday in San Francisco. I arrived Thursday and met up with Akiva. We grabbed delicious crepes and then met up with Boris at the fire opera, which was awesome. It turns out that fire is pretty cool, as well as dancing, acrobatics and aerialism. Then a return to the Watermelon, where Lea showed up after some ( Read more... )

Chris and William have been here for a couple days. The night before last, we went to get delicious seafood. Last night was tasty, cheap El Salvidorian food. Tonight is tasty sushi.

Hopefully, the next few days will contain adventures other than dinner.

ICFP paper continues.

Got up at 11. Had nutella ice cream and cake for breakfast. Sat around the house working until about 2:30, when I went to buy chips and soda for TGIF. Went to lock-picking TGIF. Picked some locks. Ate pho. Worked forever. Watched two games of the best-of-five Star Invitational international Starcraft championship on a projector. Came home ( Read more... )

I appear to have had a paper (on my thesis work) accepted to FOOL! This is both excellent and a source of sudden panic!

POPL paper submitted.

Well.