Support people, oppose the state.

That’s a big part of why anarchism exists, silly.

It’s like saying “all states are oppressive, otherwise they couldn’t exist.” Sure, it’s true but it’s not an argument in favor of oppression or the state.

The tankie arguments in favor of authoritarianism are truly a gift of word salad.

There is no state that is not authoritarian

Yep, exactly. That’s what you’re promoting.

99% of all organisations are “authoritarian”

Yep, you’re promoting capitalism as well.

Every state uses the monopoly on violence to enforce itself.

Yes, authoritarianism is based on violent control. That’s why they’re called “tankies”.

Bootlicking dead authorities and authoritarians. Constantly.

Neither axis nor allies, neither washington nor moscow,

lol. Both washington and moscow are the nazis here. It’s much better not to “take sides” when they’re both imperial trash.

Please explain how you can be both against the people who are against colonialism an empire, but also against the entities engaging in colonialism another empire.

It’s called consistency.

It’s a commercial.

deleted by creator

Lean is capable of modeling formal logic. The jump to legal “logic” is highly questionable.

Formalizing =/= proof. There’s nothing to prove. Don’t change the headline if you don’t know what you’re talking about.

Also it’s funny how this formalization reveals MANY inconsistencies in the law. I have no doubt that the legal system is formally a huge turd. Imagine if they did this for the death penalty. Too bad these computers are controlled by the ultra privileged. Ofc they’re trying to dodge taxes.

Fuck the “poles”. Liberate the people.

The NSA has two conflicting complementary missions, one is to hack everyone attack humans, and the other is to protect American networks and interests. defend capital

It depends on the definition of “AI”.

If you mean "artificial intelligence, then you’re completely wrong because it doesn’t exist.

But, if you mean the vague group of technologies currently lumped together under the grift called “AI”, then yes they’re probably here to stay - although it’s hard to generalize across an imaginary marketing category.

I went Sublime -> VSCode -> Kate and I’m definitely not going backwards.

On Linux I tried the fltapak versio of VSCodium. It was very slow to load and constantly crashed. At work I’m forced to use Windows, but I still prefer Kate over VSCode. I might be biased by my hatred for Microsoft, but Kate works great for me.

I’m open to trying other open source editors/ides. From this post it sounds like genie might be cool. But I’m generally happy with Kate so unlikely to try something else.

Oh no the lib perspective… What’s the bottom line? Buy or sell? \s

Code is a tool, not a problem.

If you’re using quotes around your own terms and preemptively closing any discussion about it, then you’ve already lost.

Stop feeding the grift with this nonsense.

There is no definition of “AI”. It’s all bullshit. It doesn’t exist.

The supposed difference between these two unstated definitions is a difference of scale not of kind. There is no objective dividing line for moderation.

There’s no such thing as “AI”. Nothing to disclose.

Even if there were something to disclose, people don’t know how much of their dependencies were computer generated. It’s a purity test.

But all apps should be vetted for malware, etc.

Check how much technological research in USA is funded by the Dept of Defense… Basically all of it.

https://www.executivegov.com/articles/pentagon-funding-autonomous-weapons-hegseth-50-billion

Have we been running insecure software since the arrival of AI?

No, “AI” doesn’t exist and software has been insecure since it was invented.

Has anyone had this sensation and if so has anyone linked this to AI finding more holes in OSS that would have normally been found by human scrutiny?

A major point of automated security checks is that humans didn’t find these vulnerabilities and might never have found them without computational aids.

does it mean that we have been running insecure software all along?

Yes, 10000%. Security is a complete illusion even with automated checks. If an organization has enough time and money (eg. state surveillance), they will hack whatever they want to hack.