Diary 2024-01-22
Well, I'd been thinking of trying to work on Concrete Mathematics and Dafny today, but I relaxed most of the day, and tonight, my body came up with other, much less pleasant plans.
Now it's much later than I meant to be up, and there's no way I can get anything else done. I'm going to hope that things work out a little better tomorrow, but let's not force anything.
Good night.