hat

My tweets

  • Thu, 14:24: Autocorrect changed spanning tree to spanking tree and now I want to teach algorithms again.
  • Thu, 15:03: Joined a virtual qualifying exam only to find out that I had been replaced on the committee by another faculty member. Best news I’ve had all week!
  • Thu, 17:57: Today I came up with something mildly clever in a student meeting, chatted with a few colleagues about random projects, and met a distinguished visitor. Almost felt like a normal professoring day.
hat

My tweets

  • Thu, 10:01: What’s your favorite song lyric that’s also a safety or licenses property? Like “we’re never ever getting back together” (safety) or “someday my prince will come” (liveness) Bonus points if they don’t explicitly use the words never, always, someday, etc.
hat

My tweets

  • Thu, 14:57: While the weather is good I’ve been enjoying having walking zoom meetings. They probably wouldn’t work well for looking at a lot of technical data, but for high-level discussions being on a walk actually makes it easier to focus than sitting at home or in my office.
  • Thu, 16:59: This is the future people against third-party trackers want https://t.co/d2mUOas270