blackbrook
More or less the same thing was just asked: https://lemmy.ml/post/1265444
I am and always have been against walled garden internets, and against corporations owning and controlling what essentially becomes a part of people’s culture. I let myself get sucked into Reddit despite that without thinking about it, largely because a 3rd party app shielded need from the shittier consequences of that (like ads).
Watching spez display his true colors has just served as a reminder of why it’s not okay to build your communities somewhere that is at the mercy of a corporation. There’s just no way I’m going to support something controlled by someone like that. It’s a matter of principle now.
It’s disappointing to me how many people don’t seem to see it as a matter of principle, or else don’t see a principle as being worth any inconvenience, or being willing to give up anything they have gotten used to at Reddit.
I haven’t had the taskbar missing on boot, but I did have the problem, a version or two back (of Plasma), of it going missing when unplugging my external monitor to switch back to the laptop’s built-in in monitor (my config is set up to have the built-in turned off when the external monitor is plugged in).
I mention this in case you are using an external monitor and this is the same bug triggered by monitor detecting and switching on boot up.
I don’t know what your families nationality is, but this is very common in some countries (not for memorial day, specifically, but picnicking in the cemetery on a holiday).
So are dedekind numbers of some importance or significance or are they just an arbitrary game?