Instructions unclear, VPN'd into my own home network.

I have auto redirect to 443. But --nginx works fine. I think it overrides stuff for whatever the specific url used is.

There's a certbot addon which uses nginx directly to renew the certificate (so you don't need to stop the web server to renew). If you install the addon you just use the same certbot commands but with --nginx instead and it will perform the actions without interfering with web server operation.

You just then make sure the cron job to renew also includes --nginx and you're done.

It makes sense that they issue short certificates, though. The sole verification is that you own the domain. If you sell/let the domain lapse and someone else takes it over, there's only a limited time you would hold a valid certificate for it.

An array?

var turtles = new Turtle[] { new Turtle(), new Turtle() };

Don't do this :P

You realize there's 8 billion people on the planet? The majority of people either didn't (or luckily for them still don't) know who this guy is.

Nothing to do with pets, but in Korea there are places that serve dog. At least it was the case when I was there 20+ years ago. But, of course they're not pets, they're farmed like any other livestock I would expect, and these places were not exactly commonplace even then, so maybe now they're just not a thing? I've not really looked into it.

Now, saying "x" people eat pets is likely just what others have said, a slur used against whichever subset of people is the target of the month. Maybe it once had roots in facts like those I've mentioned, but they're far removed from them now.

No, I did not partake in eating dog.

I mean for advert breaks, there are projects to do this to recorded tv automatically (with varying degrees of success depending on the config and the channel).

That is, you record the TV from either a TV receiver card, or streamed live channels to disk, then run this process on the mkv/mp4/ts, and it will either create a set of chapters marking the ads (so you can skip them), or it will just remove them entirely.

I don't think it would transfer to "live" TV quite so readily though. Because it does scan the whole program to find things like logos etc to help work out where the adverts are. But, I mean a lot of the work has been done.

For removing all product logos. I mean, I bet we're not far from the processing power to make it possible. But, probably a fair bit of effort needed.

I can imagine the "AI" chips being neutered for these kind of tasks, like the "low hash rate" Nividia cards.

I think this overall is a better idea. I'm going to say this because, I thought I'd look into rust today. So I installed it, setup vscode to work with it etc. And it's all up and running. I thought I would port over a "fairly simple" C# project I wrote recently as a bit of a test.

While I've generally had success (albeit with 30+ tabs open to solve questions I had about how to do certain things, and only making it about 20% into the task) I'm going to say that it's different enough from C, C++ and C# (all of which I can work with) that I really don't think it is fair to expect C developers that have day jobs and work on the kernel in their spare time to learn this. It's fundamentally different in my opinion.

Now, I don't condone any bad attitude and pushing away of rust developers from the project. But there's no way they're going to want to do anything to help which involves learning a new language. It's just not going to happen.

Likewise, C is not a language most new developers are learning. So, I feel like over time there won't be so much of an influx of new kernel developers and any Rust based kernel could find itself with more contributors over time and taking over as the de-facto kernel.

In terms of Redox (not looked into it yet). So long as there's a different team working on the userspace tools. I would say the main task should be getting a solid kernel with drivers for most popular hardware etc in place. The existing GNU tools will do until there's a kernel that is able to compete with the C one. But that's just my opinion.

Ah, so the kind of crypto bro, that instead of a fistbump, does a diffie-hellman key exchange instead?

Here's what I think. Both opinions are correct.

Rust is sufficiently different that you cannot expect C developers to learn rust to the level they have mastered C in order to be working at the kernel level. It's not going to happen.

I don't really know too much about rust. Maybe one day I'll actually mess around with it. But the one time I looked at a rust git repo I couldn't even find where the code to do a thing was. It's just different enough to be problematic that way.

So I think probably, the best way IS to go the way linus did. Just go ahead and write a very basic working kernel in rust. If the project is popular it will gain momentum.

Trying to slowly adapt parts of the kernel to rust and then complain when long term C developers don't want to learn a new language in order to help isn't going to make many friends on that team.

I would agree, but there's been at least two updates in the last six months that restarted my machine before I even got to see the pending restart warning. I use it every day and shutdown if I won't be. So the restart happened less than 24 hours after any warning if there even was a warning.

That has the potential to lose things I'm working on. Windows pathetic attempt to bring things back falls woefully short of functional.

Flash up alerts to say there's critical updates, but the action to actually restart should be a human interaction.