aberrate_junior_beatnik (he/him)

When you want to feel special but not enough to go to the effort of using FreeBSD

https://en.wikipedia.org/wiki/Neko_(software)

I also had a few “what the fuck is going on with her legs” moments, but I’m on a PC with a 27" Dell UltraSharp monitor so I have no excuse

TIL https://www.investopedia.com/terms/c/chicken-tax.asp

The main class of non-turing-complete programming languages that I think of are languages that don’t allow infinite loops. Consider a variation of your favorite programming language where every looping construct had to have a maximum count. With each iteration, the count decrements, and when it reaches 0, the loop terminates^[1]. This can be extended to recursion pretty trivially. This language would not be turing complete, because turing machines allow infinite loops. But on the other hand, a whole lot of what you might want to do with a programming language could still be done with this language, and it certainly would not be something you could characterize as a markup or query language.

As to whether this violates the definition of a programming language, I’m not aware of a widely agreed upon definition of what a programming language is. And languages like Rocq, Agda, Epigram, and Charity which require that programs terminate have long been described as programming languages with no push-back that I am aware of.

someone on the internet got dopamine

Much appreciated!

In all seriousness, I woke up this morning and felt bad about how mean my comment was. It’s not like it’s a huge mistake and it’s (I think) a pretty common misconception mostly borne from the murky boundaries of the category of programming languages. Thank you for your grace in handling it, I’m sorry I was a jerk, and I’ll try to do better from now on.

They read the green dragon book (although the internet could be argued to predate it)

All programming languages are turing complete.

The Wikipedia article you linked literally has a section called “Non-Turing-complete languages” that lists multiple non-turing-complete programming languages

Follow the guidelines as mentioned in freedesktop

Which guidelines are you talking about? Searching for “proxy” and “environment variables” didn’t pull up anything I saw that would be relevant in this case. I’ve been using linux for a couple of decades now and I’m not sure what rule is being broken here.

It sounds like you didn’t have a proxy set in your environment variables, but you did have one set through another means. It’s somewhat standard practice to have fall-through settings, where if settings aren’t set in one place, a program looks in another place, then maybe another, etc. Now admittedly it would be nice to have a way to disable functionality entirely, but usually that kind of thing happens with command line flags.

I get that it’s frustrating to deal with a problem like this, but ultimately your environment was misconfigured, and that’s going to break some software.

I feel like most of tech had already sold out by 2014. Really by the late aughts it seemed to be all gone; that was when apple and its philosophy had taken hold. Not that apple was the only force in that direction, it just felt like the apotheosis of the greedy and controlling mentality. MS had plenty of greed, but they were willing (in some circumstances) to play ball. Google seemed to love interoperability in the early-to-mid aughts, but look at it now.

I feel like Kurt Cobain would think this was hilarious

As seen in last US election, voting for the ideal candidate meant the worse candidate won.

Is there actual evidence for this? Was there a higher than usual vote for 3rd party candidates in this election, and has that been determined to be the cause of Harris losing? Legit curious.

I feel much better now that I’m reminded of my insignificance, ty

I do think there will have to be some cutting back, but it provides capitalists with the ability to discipline labor and absolve themselves (I would never do such a thing, it was the AI what did it!) which might they might consider worth the expense.

Not sure what bread or chocolate chips you are eating, but this isn’t even remotely true

“have to” is doing a lot of heavy lifting here

I agree with you as long as we also don’t end up boiling the oceans to get a mediocre picture of Luigi snacking on peanuts or whatever

How did the breaker not trip on that? It had one job

Not quite the same thing, but there’s a project that lets you use TPM to protect your host keys: https://github.com/Foxboron/ssh-tpm-agent

[edit: its primary function is to work with clients but buried in the readme it also explains how to use it for host keys]