[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Someone is wrong on the Internet
- To: Brian <http://www.cs..edu/~b>
- Subject: Re: Someone is wrong on the Internet
- From: http://dummy.us.eu.org/robert (Robert)
- Date: Sat, 24 Aug 2019 08:48:49 -0700
- Keywords: Brian
> 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.