When I was in Paris, a couple weeks ago I met with a professor from Madrid. We had a pretty good conversation about a tool I am developing and how we could link it with a theorem prover he was developing. He mentioned that he would talk to my adviser about the possibility of coming to Madrid -- which would probably be next spring.

Today, I get an email from him saying that my advisor and him talked, and they would like me to go November 1st! I'm going to be in Japan until the 31st, so that would mean that in two days I travel more than 10000 miles. That's 2000 miles more than the diameter of the Earth. I'm excited to go, but damn that's going to be a lot of traveling.

I've been thinking a bit about what would motivate me to blog. One use would be for keeping track of movies I've seen, books and papers I've read, and other various things I've tried so that I can remember them later. It would also be nice to keep track of what friends are up to, but few of them blog. It also doesn't seem like such a good idea to post much personal information, since it will then live forever on archive.org.

I have a wiki for keeping track of information in a cross-referenced database form, but that lacks the ability for other people to easily check what's new.

I guess I have to start a journal somewhere. Let's see how this post looks.