Research has switched back into churning-through-tedious-details-mode again. I want my
Class today was about integer constraint solving, which seemed to be a mass of cute algorithms and hacks and things, but Bob had a very plausible spiel about it all being for nought unless it works properly for modular arithmetic.
I'm really heading frighteningly fast towards the Strong-Sad school of "I don't like food anymore". I tried grabbing some bread and deli meat and cheese from Geagle, which I used to eat all the time a couple summers ago, but I stopped being able to stand it half-way through the second sandwich.