My research is also like this ( Read more... )

If anyone has ever wondered what my day to day research experience is like, it is like this.

I swear to God.

(Thanks, jcreed!)

I still haven't written about Istanbul.

I've had lots of adventures recently. I went down to San Francisco to hang out with Those Kids. I had a birthday, and went to Coastal Kitchen with a bunch of people. Lisa and Dannel visited Seattle, and I hung out with them.

I am super busy with research.

My parents are visiting starting tomorrow.

We need to spend less time on inventing theorem provers, and instead work on provem theorers!

Last Sunday I had dinner with my sister before she left for the Arctic, which was nice ( Read more... )

It's been three weeks since I posted a substantial update. A lot has happened.

Alice's mother visited, and Alice, Tom and I ate in tasty places with her, including Nishino, and Alice and I went with her to see The Tempest, which was a pretty good production ( Read more... )

Last thursday, Tom, Alice and I flew down to San Francisco. We went to dinner with Boriss and Akiva at a tasty...Moroccan? restaurant and then slept ( Read more... )

Friday was the Abney Park concert, which was awesome. I went with a fair number of people, and saw a bunch of people there I vaguely knew. The band was pretty drunk, which made the concert less precise but definitely interesting ( Read more... )

Paper submission, adviser meeting, TGIF, climbing.

There is an Em in town.

Adventures ( Read more... )