Had a great time already having dinner with people; aij, chrisamaphone, Carl Eastlund, lindseykuper who I got to meet for the first time, Jamie, a dude from Northeastern named Stevie, and maybe that was it? I can't tell if I'm forgetting someone. Ran into Dan Licata on the way back and talked about proof irrelevance some.