Had lunch with lincoln3 and susan buchman. Took a short break at the zebra lounge - didn't do so well with playing particular songs, but I was really getting into a free jazz sort of groove for a while. The Ludicrously Hot Couple That Makes Out Sometimes was there, doin' their thing. Went to advisor meeting, talked about theorem proving woes mostly. Kastuv was having some interesting issues with his thesis work, which now, having learned so much about the inverse method, I actually start to comprehend a little of. Went to the FMRP reading group: it was a talk about hybrid automata, these little things that look like ordinary finite-state automata except with diffeqs wedged into them. Kind of strange, but interesting. Went over to Tom7's office, did some debugging and coding on the theorem prover. Went to McDonald's/Qdoba for dinner with tom7 and lincoln3, ran into lauren ingram, an acquaintance from the morewood practice rooms, like, two years ago. Home now, surprised it is so late. Not sure where how last two hours went so fast.