Oracle is not the worse DB in existence. They are a worse company than MS, but I’d much rather be talking to Oracle than MSSQL.

(My go-to is PostgreSQL, tho.)

main : IO ()
main = test allTests

No OOP in sight: https://gitlab.com/bss03/grtt/-/blob/f760eb6f0c1f1b171a1a3a114e156f008e4227d0/grtt-machine/test/src/Main.idr

I agree that it probably should be legal-ish. I think maximum curb gaps are a great idea, and minimum curb gaps are probably a good idea in areas where curb cleaning might frequently overlap with parking. But smarts and cycles should almost always be allowed to double-up within the same F-150-sized space.

right wheels need to be within 12" of the curb

park nose first

rear passenger wheel still more than 12" from curb -> ticket.

I reject the claim that natural is good. Appeal to Nature is a common logical fallacy.

… the best kind of correct.

Are the new winners listed of the Indie Game Awards site?

I’m not going to uninstall or demand a refund, but I fully support the Indie Game Awards decision on this and will not refer to CO:E33 as a winner of any of the Indie Game Awards. I will still call it IMO the best JRPG in many years, but I thought that before it started receiving awards.

I hope this event serves to scare game studios of all sizes from the mere appearance of using AI at ANY scale or part of the process. Hell, I hope it causes the whole damn bubble to burst, but it’s just not that important.

What? The green revolution doesn’t deserve anti-aircraft capabily?

Ho, ho, ho. Ho.

This Santa has one extra.

(j/k)

While I do have some control over my DNS and can create arbitrary TXT entries, I can’t to that in an automated way easily. I’m using Gandi.net to host my DNS rather than running my own DNS sever(s).

EDIT: Gandi is listed https://community.letsencrypt.org/t/dns-providers-who-easily-integrate-with-lets-encrypt-dns-validation/86438 so maybe I can automate a DNS-01 challenge without too much issue, I just have to switch away from certbot to one of the other tools.

It does have access to the HTTP root directories. But, it still can’t open port 80/443 when apache already has that port open.

EDIT: I guess my certbot renew just needs to be reconfigured to use a --webroot, so it doesn’t try to listen on it’s own.

Probably the comment has federated to lemmy.world, but the deletion of the comment hasn’t yet.

Looks like autoincorrect did a s/CRLs/Carla/ for you.

Technically my renews aren’t automated. I have a nightly cronjob that should renew certificates and restart services, but when the certificates need renewal, it always fails because it wants to open a port I’m already using in order to answer the challenge.

I hear there’s an apache module / configuration I can use, but I never got around to setting it up. So, when the cron job fails, I get an email and go run a script that stops apache, renews certs, and restarts services (including apache). I will be a bit annoying to have to do that more often, but maybe it’ll help motivate me to configure apache (or whatever) correctly.

Debian Stable

I don’t think I actually got any of the items on today’s list done. But, I did get OTHER tasks done, so I get a reward tonight. 😏

Enshittification will continue until morale improves.

The first one does tell you how to “completely remove Gemini from your smartphone” under that heading. I do not have the Gemini app installed.

The second one says:

Can you fully disable Gemini on Android?

No, and that’s by design. While you can turn off activity tracking, revoke permissions, and even uninstall the Gemini app on some devices, Google is actively replacing its Assistant app with Gemini.

But, I’ve also disabled Google Assistant across all applications, so I don’t share data with Gemini/Assistant. I had to lose some features to do so.

Overall, your reply serves to confirm for me that I have disabled Gemini on both of my Android devices. Still, I appreciate the links!

Honestly, it wouldn’t surprise me either way. There IS a lot of telemetry and other BS that is definitely still on my phone, included in OS updates, and not uninstallable (I can “uninstall updates”, but that would also give me back any security issues). But, I don’t think that it is Gemini, or at least predates that naming convention.

To get free of Google telemetry, I’d have to install a non-Google ROM, and I haven’t ever tried that.

Telemetry certainly can be abused, and Google should be legally (by regulation) required to provide a simple opt-out. BUT, telemetry really is a fairly normal thing to include in “web-scale” deployments and is primarily used to discover issues that have escaped into production without affecting a testing environment–or, at least, that what the telemetry systems I’ve interacted with as an software developer were for. So, I’m not too worried about non-personalized data collection.

EDIT: I confirmed that Google says I have no Gemini activity to delete, so while I’m sure my phone is reporting stuff, it’s not to Gemini.

Do you have some sort of evidence for this claim?

I’ve lost features that used to work without Gemini, but I believe it is disabled on both my Pixel 7 Pro and the Pixel 8 I have access to.