I don't get why you do not understand why nobody wants to waste time on a MR where the author didn't even themselves have any interest on looking over it even once. https://github.com/ocaml/ocaml/pull/14369/files#diff-bc37d03... also all the unused functions...

did it fix a long time issue? maybe, but 9 tests for 13k lines doesnt give much confidence in that

and even if it worked perfectly, who will maintain this?

idk looking at what the creator of leptos talks about it seems to be very significant: https://youtu.be/4KtotxNAwME?si=e_xwqo5gopKDlOtK

where is this quote from?

Looks like it's from his "Ask Justin Frankel" website: https://www.askjf.com/index.php?q=7357s

optional things like this are fine. preventing me from joining e.g. NSFW discord servers wholesale is not imo. As an adult I should be able to use my phone however I want

> as an adult

You touch on an interesting element. A lot of iPhone users are kids. Even young kids. Logged in with their parents account.

Not trying to justify what’s going on. Just add context

Mmm.

Given the internet as it is, and as it has been even back when FOSS discussions included hating GIF because of patent enforcement, kids shouldn't be on the (general) internet at all.

Smartphones are even worse, given the deliberate attempts to make content more addictive.

I'm not sure how to square that particular circle with the likelihood of social exclusion from not being online — it's not like me putting (general) in brackets in the first paragraph will convince the right people that there's money to be made in a genuinely safe subset, despite the existence of YouTube Kids and whatever Netflix' thing is called.

And this is the parents responsibility to not share passwords and ensure device usage is appropriate.

A lot of kitchen users are kids, it's the parents responsibility to ensure they're supervised or that the sharp knives are put away out of reach.

100%. It's the difference between empowering users and patronizing them.

> preventing me from joining e.g. NSFW discord servers wholesale

Is this something that iOS (or some other client) does? Or just hypothetical. I don't keep up with these things aside from when they reach HN

(to be clear, this is not an iOS restriction per-se, this is the App Store guidelines not wanting to have a store full of porn)

I don't really understand what stops this from happening locally?

doesn't this dependency hell still exist, but just in the cloud?

It's not hell because they carefully curate the set of libraries rather than having end-users attempt to have every combination of packages (and then blame microsoft for the dependency hell / lack of support for their exact configuration.).

You say this as a good thing... but as a data scientist that uses python every day I can assure you their "carefully curated set of third party libraries" definitely will not include most of the libraries I rely upon for my work.

there was also work being done to port to python3 https://github.com/matrix-org/synapse/pull/2539

but it looks like this hasn't been worked on since october last year.

Actually, a separate thread of porting work has been happening over the last month and it's looking very promising indeed: https://github.com/matrix-org/synapse/pulls?utf8=%E2%9C%93&q... etc.

you can use signal without any google services though, for more than a year now even.

related commit: https://github.com/signalapp/Signal-Android/commit/166973132...

pretty difficult to find the raw apk though: https://signal.org/android/apk/

about matrix:

you will probably end up having to use the electron riot app for a while, but the community is working hard on native clients, but afaik no client has e2ee in any usable state implemented yet (but a lot of progress is being made).

I think the matrix.org team acts as a non-profit organisation, but most of the core team is also hired by New Vector where, I think the planned profit model is to run matrix instances as a service.

there's some stuff about the funding in the faq: https://matrix.org/docs/guides/faq.html#what-kind-of-company...

> you can use signal without any google services though, for more than a year now even.

I tried it less than a year ago, because I had heard that too, but it still didn't work. I should try again on my new phone I guess.

This is just wrong, pls stop spreading misinformation.

The gcm dependency was removed 10 months ago: https://github.com/WhisperSystems/Signal-Android/commit/1669...

You can get the apk outside of gplay on their website: https://signal.org/android/apk/

Somewhat...

https://www.polygon.com/2017/10/10/16453306/youtube-monetiza...

>A YouTube representative confirmed to Polygon that there are a number of “whitelisted” partners who are allowed to run partner-run ads on the website.

>That means they aren’t flagged by YouTube and used external sale forces to sell the advertisement for them.