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).

no gravel bike at 40? A deeply disturbed individual

While there is the argument of not contributing to overpopulation, in my view anti-natalism is the application of moral utilitarianism to an absurd degree. I also think it can (not will of course) lead to eugenics policies. Indeed, a poor person birthing a child more immoral than a rich person. Certainly the rich child is much more likely to live a better life than the poor. Should we therefore be more willing to regulate the reproductive capabilities of the poor? I think this is where anti-natalism breaks down - forcing it on anyone, or creating policy to support it, is in my view will always be deeply immoral.

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

2 pillows stacked on each other most nights. Sometimes I just have the one. Very rarely I will have none because for some reason that is whats needed to sleep

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

I currently travel 2 hours to and from work, making my 9 to 5 a 7 to 7. I hate it so much lmao

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).