Jason (jcreed) wrote,

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.

  • (no subject)

    "Snowed in" in the sense that the office was preemptively closed, and the subways were still not running in the morning, but we got totally spared.…

  • (no subject)

    Snowing a bit; last I looked about an inch had settled on the ground. Supposed to get a foot or so overnight. I'm trying to reconcile the general…

  • (no subject)

    Puttered around the apartment most of the day since it was pretty ugly and cold outside. Read some interesting things about asynchronous circuits and…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded