So many Carnival-related things going on today. Went to lounge BBQ, talked with various people about the job search and macroeconomics and type theory. Dropped by the KGB Defectors' Party. Talked categories with Paul-Andres Mellies and dan licata and peter lumsdaine. Dinner with _tove and others. Ended up at R7 party eventually. Left fairly early, around 11pm, got to sleep at a reasonable hour.