> From: Brian <http://www.cs..edu/~b> > Date: Sat, 24 Aug 2019 02:34:01 -0700 > > Today's xkcd is titled "Well-Ordering Principle" but what it's actually > about is a finite set, and the argument that that set must have a smallest > element, which has nothing to do with the Well-Ordering Principle, which is > really of interest only for infinite sets, and /really really/ of interest > for non-denumerable sets. Didn't know about this. https://en.wikipedia.org/wiki/Well-order and https://en.wikipedia.org/wiki/Uncountable_set clarified your point. > I'm trying to clean up my mess, all over my office and bedroom. I just > made a small beginning today (well, yesterday by now) but I'm excited. > > I would have gotten more work done this week, but the new Neal Stephenson > book, which I had on hold, came in. 800+ pages... Thinking that it might be a good time (I hadn't done so in many months), I rebooted my laptop yesterday and found that the window manager was non-functional; I couldn't move windows and they didn't have borders. In addition, menus weren't working, my key bindings weren't correct, and the touchpad mouse didn't work right. After 5 straight hours, I found that my Debian upgrade caused the problem and a subtlety in the mate's dconf configuration (a legacy window manager removed by Debian was being referenced). So, that's my excuse for not getting done what really needed to get done.