Didn't do much today, but somehow it went by real fast anyway. Went dahntahn and bought a hat to replace my lost one, and a new hooded sweatshirt to replace my much-enjoyed but broken-zippered cat-and-girl one. Both new items have the advantage of being slightly thicker and warmer than their erstwhile counterparts, but the new hoodie sadly is designed only to zip partway down.

Had some interesting discussions in the afternoon with neel and tom and rob about random logic things. Woo 8th floor whiteboard culture.