The page behind your link above actually solves the riddle in question:

I have a Mastodon account, @rms on mastodon.xyz, which mirrors the political notes of stallman.org. The person who set up the mirroring chose that site.

The profile picture and colour scheme fits. I’m guessing just the text is edited.

Ah yes, the good old /time set 1000

Ahhh I’m rubbing up against all this nothing so roughly it feels almost sticky

My dad who retires today and who has been a Windows user since roughly 1993 has set up multiple Pi-Holes and OpenVPN in the last few years and recently even installed Ubuntu in WSL so he can run bash scripts locally too. He’s not in a tech job, he’s a doctor.

A year ago my friend who has been using Windows for his gaming for the last 22 years asked my to help him set up a Fedora dual boot. Just to play around with, even though he doesn’t have a tech background. He didn’t really use it much. But today his work had him blocked by their own fuck-up and he decided to use the time to try it out again.

This evening he told me about how he upgraded his Fedora back to a current version using GUI tools. Then he saw that Windows wasn’t the default boot in his grub boot order anymore. He tried to find an app for editing grub, realised this was the kind of thing people do with CLI. So in the next two hours he learned enough CLI using a free beginners lesson he found online somewhere, until he found the history command, where he found the grub command we used during the original setup. He was so excited about this success!

I think the CLI criticisms are way overblown, and non-programmers can use CLIs perfectly well if they want to.

The original developer of Git is Linus Torvalds and he wrote it for the use of developing Linux. He handed off the project to Junio Hamano after a short while who still leads it. They use a process where you submit patches by mail, for Linux and for Git itself too.

To make this easier they have the commands git format-patch, git send-email and git applymbox later changed to git am to apply them. They also added git request-pull to generate a short plaintext email like message to request a pull.

The Pull Request as a bigger concept of data and discussion that should be kept around came from GitHub and was put over top of Git. The concept has been rebuilt by various competitors separately. But it doesn’t match the Linux and Git development model so they never used GitHub Pull Request, even though there is a GitHub mirror of Linux and a GitHub mirror of Git. For them the discussions happens in the mailing list.

So it’s very unlikely they would start including the stuff that was added by others over top, that they don’t need.

I don’t see how this changes anything. Style isn’t copyrightable, so if anything it seems the least concern.

Characters or specific scenes, those are the really juicy bits

Edit: And of course still the general question of ingesting copyrighted inputs without license for other than private use

I think I finally found what I was put on this earth to do: Knife goes in guts come out.

– Bart Simpson

And the old WCFAN (We Couldn’t Find A Name) servers, what was it called again, I think hillbreak? That was fun!

Wow, the way they write “best value” on the offer for 8.50 £/month is just brazen.

If you use Office Home 2024 for 120£ for just 15 months or more it’s already cheaper.

I used TexStudio for my Master’s thesis, it worked fine for me. I haven’t done a full survey of available LaTex distributions and tools though :-)

Definitely the command. CLI commands are simple and portable. Asking the user what DE they are using for an extra round trip and then making a description of the pointy-clicky-ceremony has way to much friction.

2004

No worries, I just wanted to make sure. I could totally have missed stuff.

25 years so… Tarzan? Lilo and Stitch? The Emperor’s New Groove?

I’m aware of:

• Unbalanced power over 12VHPWR by design, inducing some melting in some cases.
• Missing ROPs on 5080.
• 5070 not reaching 4090 performance levels because that was just a marketing lie.

None of those really seem to apply. Were there any more?

We still use RCS at work. For config files for our network monitoring. Works fine still.

Shit, I hope it’s not a transphobic threat against her.

Everyone knows you can do Roller Coaster Tycoon at most, no way you could do core utilities.

just like they don’t turn off analog radio

Got bad news for you. They are starting in some places.

The Swiss public broadcaster shut down it’s FM channels at the turn of 2024 to 2025, at the end of next year all of the others have to shut down as well. It’s moving to DAB+ only, it’s a big pain for older cars.

I’ve heard Norway is even further along that route than Switzerland.

If you divide an inequality by a negative number you have to flip the sign.

If you want to divide out the g before knowing if it’s positive or negative you need to make the case distinction.

If you make the case distinction and one branch results in a false statement (5 < 2 in this case), you have disproven the original inequality, or at least discovered a constraint on the original inequality. Then you arrive back at FooBarrington’s statement that includes the constraint :-)