Yes, that is the theoretical rational, but in use cases, if users always restart the program after X minutes, practical you can just hard reboot

I have always wondered why the answer to the halting problem isn’t: “If no output has been returned in X time, BREAK, restart program from beginning.”

I mean, now a days, I can upload the image into stable diffusion automatic1111 and click interrogate CLIP and then see if it outputs “bird” as a reverse promopt, but this comic WAS from 4 and a half years ago, so the programmer was right on the time-frame.

I once was told my mother’s electrolytes were high AND she needed vitamin D because she didn’t get much sun. Somehow my young brain merged the two concepts such that if someone said there electic-lights were low, I would offer them my lamp to sun with.

Probably the same way a hybrid gas-electric car is more fuel efficient. In a hybrid, the battery revs up and down with need while the engine just powers the battery at a steady clip. Since the engine can run constantly at a fix optimum speed, it is more fuel efficient.

Likewise, I figure, each server has a certain amount of bandwidth. If everyone is on one server, all the posts and comments come at random intervals with spikes and troughs. Either the bandwidth gets throttled, which causes lag, or all the comments go through at the same time, which uses a lot of bandwidth. With multiple servers, those posts get federated and (probably, I’m guessing at this point) wait for the federated server to signal that they are no longer busy, which flattens the bandwidth demand.

During the last site-wide protest in 2015 I set up a VOAT account with all the similar subreddits that I had at the time. When people first started suggesting abandoning ship, I thought “Well, at least I still have Voat”. Checks Voat. Turned into a alt-rght haven and then shut down in 2020. Dho!

One problem is there is no dark mode button in user settings. I’m sure there is something you can download and apply or something, just would like a little slider in settings before I go snowblind.