I suggest you re-read through the proof of the halting problem, and consider precisely what it’s saying. It really has been mathematically proven.

But fair enough, the program made in the halting problem you probably wouldn’t ever encounter. But the consequence is, if you were trying to write an algorithm that solves the halting problem, you would have to sacrifice some level of correctness - and technically any algorithm you write would fail or loop forever on an infinite number of programs, surely one of them would be useful. Consider the Collatz conjecture. I severely doubt anyone would be able to “decide” the collatz conjecture program halting without it being a very specific proof of it (with maybe some generalisations).

Can’t believe bill burr went. Turns out all of his billionaire critics were just meaningless

Whistleblowers should start posting the documents to porn hub for the piss of it

This is what should have happened to trump

I think for my friends it’s just what we have been using for literally a decade since we were kids, combined with apathy towards privacy - although of my friends does use duckduckgo. I don’t judge them for that since I’ve been pretty bad with privacy. I do worry if we get into more activism that we will need to secure our privacy

That’s great to hear. In my experience every second paper I ran into needed a subscription, although I am guessing they weren’t federally funded research or from a country where that isn’t required by law

We really need to push for fully open access research. I believe the ACM has announced a transition to open access, so there is that. However I think there needs to be legislated open access. Specifically, any federally funded research (or research from publicly funded universities) that is to be published should be forced to be open access. In America I don’t think that’s going to happen for a while lmao, but hopefully other countries can do this.

The Australian labor government didn’t have age verification as one of their core policies. Also the specifics in Australia is being done by the esafety commission rather than through parliament. This whole age verification stuff is very undemocratic in nature

The problem here is the lack of a current alternative. As others here have mentioned, peertube might be a future alternative, but I can not help but feel that only fairly ideological people like myself would be interested (in the sense of dropping youtube on privacy grounds). I can’t see “normies” moving elsewhere. That said, maybe a good alternative doesn’t require mass uptake. I mean Lemmy seem pretty cool, albeit I haven’t been here very long at all (like a day lol, although I have lurked for sometime).

Anyone who supports trump is a facist. They may not think so, and won’t like being called that. But that’s what they are