I think the idea I see here that young = modern = pro-EU and old = anti-EU by ignorance is a gross oversimplification which doesn't stand.
I personally was very pro-EU in my youth and deeply soured as I knew more and more to the point I'm staunchly against nowadays.
It started in 2005 with the referendum result being ignored. Then 2012 came with the shambolic management of the Greek crisis, something even the IMF points as ineffective. Then I was paid to put in place the Green Taxonomy and I saw how unready and dumb the whole thing was. Then there was the rejection of the Draghi report which made lose hope.
I find the mix of the euro being a deeply unfair currency union strongly advantaging Germany at the expense of the periphery, the fact that Germany keeps playing on it and amplifying the effect in direct violation of the treaty and yet always get a hall pass and their holier than though attitude despite being basically free loaders completely impossible to tolerate.
The 2019 CEP study showed it well. The union costs billions of GDP to France and Italy to give a minor advantage to the German. It's a dogmatic straight jacket managed by priests with zero actual economic understanding and serving the interests of a big mercantilist using development funds to shore up its tributaries in the east and still managing to gradually lose relevance as it can't even manage having a proper strategy despite the advantages, and a few fiscal parasites around it.
At 36, I deeply wish from my country to be free of the monster than the union has become and deeply ressent being a prisoner of a monetary union which intentionally didn't plan an exit path. And for what? Surrendering the ability to make law to the citizen of other countries who share neither my language, nor my culture, clearly don't have the same vision of the future than us and wants to force us into their ineffective model? No, thanks. No GDP gains or alleged diplomatic weight is worth this debasement.
I don't understand Brexiters because being out of the euros they had the best of both worlds but I respect their desire to be truly sovereign and free from the constant Germanic hegemonic push.
> Are they doing the same kind of activity? Getting the same kind of cognitive development out of it?
Who cares as long as the game is good? There is no inherent moral value in the how with artistic creation. What matters is the end result.
And if people are happy with what they produce, who am I to judge them? I will happily give my opinion on the game but the act of creation is them.
Same with audiobook. You are adding value judgment where there doesn't need to be one. Is the Odyssey less significant because it used to be an oral story?
> Are Google so high on their own supply that they think people use their phones out of preference for the OS? Because frankly it's not very good
Honestly having gone back and forth between iOS and Android every three years or so, both OS are the same. It's not like the grass is really greener on the Apple side. The UX is virtually identical for anything that matters. Personally I put material Android above liquid glass iOS. The alleged polish of the Apple UX was lost on me when I had my last iphone.
The reason Google's moves are surprising has more to do with them embracing being a service player more and more with the arrival of Gemini and them having regulators breathing down their necks everywhere.
I guess they did it after the truly baffling US decision in the Epic trial but it's very likely to go against them in the EU.
The rumors that I have heard (and one government document I read that was poorly translated from Thai) is that there are some countries who are pressuring Google on this to combat info-stealing malware. Apparently, account-takeover/theft is very prevalent in SE Asia where most banking is done via Android phones.
Maybe but lobbying is extremely strong in SE Asia. It's hard to distinguish from governments putting pressure for something and companies suggesting it would be a good idea.
Considering Cognite made a fortune in the oil and gas industry by basically allowing companies to toss them all their data, them automatically linking and contextualizing everything using a tunable knowledge graph and then giving access this domain model, I think you are onto something. A bit late to the party but yes, this party exists and LLM are useful there for once.
Amusingly most of this data then end up back into Excel or PowerBi but the unbundling and contextualizing itself is worth the price.
Semantic mapping was the answer all along. It just failed on the open web. The idea never died in the industrial world.
The real question is unification vs bidir more than HM vs bidir.
Unification is simple, not very hard to implement and more powerful.
Bidir gives better error messages and is more "predictable".
I personnaly lean strongly towards unification. I think you can get good enough error messages and what you lose with bidir is not worse it. But clearly the Rust core team disagreed. They clearly don't mind annotations.
Quite the opposite, imo. Unification does not exclude bidir and the two fit together very well. You can have one system with both Unification and bidir and get all the advantages of both.
Not really, no. You can get localised unification but bidir as a whole like in Rust but you lose most of the advantage of unification. Hybrid systems are bidir for parts, unification for others.
But, I maintain that what the article calls HM is trully unification independantly of what's above. This is not about algorithm W. It's actually about the tension between solving types as a large constraint problem or using annotations to check.
> You can get localised unification but bidir as a whole like in Rust but you lose most of the advantage of unification.
Could you expand on this? I do not follow. You can create a bidir system that never requires annotations and uses unification to infer all types in the style of Haskell or OCaml. It is not often done because people are coming around to the idea that global type inference causes spooky action at a distance, but nothing prevents it from working.
> I maintain that what the article calls HM is trully unification
In some sense I think HM == unification because you can't really implement HM without unification. The first time a type variable encounters another type you'd be stuck.
> You can create a bidir system that never requires annotations and uses unification to infer all types in the style of Haskell or OCaml.
There is no more bidir if you do that. It's just plain unification.
> In some sense I think HM == unification because you can't really implement HM without unification. The first time a type variable encounters another type you'd be stuck.
You can't implement HM without unification but you can do unification which is not HM. Actually a lot of what people call HM is not really HM but evolution of it and sometimes significant evolution.
> So don’t allow accounts with ages set below the limit like they already do for under 13s. Why does this translate to every other site wanting my government ID or a scan of my face?
Because self inputed age fields don't work. People just lie to access what they want.
You have to understand that the goal here is not token compliance but actually limiting teenagers exposure to something we now know to be highly addictive and damaging to mental health.
Clearly, the market is not able to self restrict and will exploit every opportunities given to it. It's only logical to take stronger restriction. That's basically bringing regulations on social media on the same track as tobacco and alcohol.
Ok, let's assume for today that age gating is the thing to to.
Requiring ID is not entirely the right approach here I think. You're forcing people to reveal PII for limited gain, and building systems you can't knock down later.
The EU is working on a zero knowledge proof system for exactly this purpose, but it doesn't quite seem to be ready for prime time yet.
The restricting law is mostly concerned with the age gating, not the how.
You can expect another law or directive to explain how it has to be done. In the EU, GDPR does apply so you can be sure that poorly storing ID copies for this purpose will not fly.
But, I think it's clearly what ID is for and a legitimate use case for electronic ID. ID is the tool the state uses to give you a way to prove you are who you pretend to be.
I think there's something a bit funny in worrying about giving a copy of your IDs to companies who already know everything about you from your full social graph to your political leanings and interests.
> I think there's something a bit funny in worrying about giving a copy of your IDs to companies who already know everything about you from your full social graph to your political leanings and interests.
I believe it's because the governments (which are far more powerful than any "corporation", because they have the de facto monopoly of violence: Microsoft can sue you, but the government can just jail you) can then pressure said companies if there's something that is not liked, with all consequences that come from there.
There's no need to bring conspiracy theories in, FTR. The power of the government must be always limited and bound by strong chains, and this goes in the opposite direction.
> I believe it's because the governments (which are far more powerful than any "corporation", because they have the de facto monopoly of violence: Microsoft can sue you, but the government can just jail you) can then pressure said companies if there's something that is not liked, with all consequences that come from there.
But the idea that giving your ID changes anything is a fiction. These platforms already require you to provide your phone numbers or an email. They have your location. They already know who you are and they can already be pressured by the government for all that. They don't even need to be pressured actually. They willfully share a ton of information as has been shown time and time again. The ID that you can somehow get plausible deniability regarding the association between your social media profile and identity is a complete myth.
> There's no need to bring conspiracy theories in, FTR. The power of the government must be always limited and bound by strong chains, and this goes in the opposite direction.
I don't think a theorical, overblown and mostly fictitious increase in risks trumps the very real need to limit the armful impact of these actors. It makes for ok-ish lobbying but that's pretty much it.
This approach is just fine for the industry: delegate the problem to the lowest, shadiest bidder. After all, privacy breaches aren't their problem. If governments want an ID system they should provide one.
We have gone from the industry clamouring that what's being done now is not possible and spending millions of lobbying money against it, to such laws spreading like wildfire.
The next step is the (inevitable) mess up because implementations won't be foolproof, followed by yet more millions of lobbying money being spent to amplify the effect of these mess ups.
Eventually we will come to a new normal. It will take time. But the hope is that the cat is out of the bag and we don't come back to a model that we know hurts children and pretend it's just how it is.
> You have to understand that the goal here is not token compliance but actually limiting teenagers exposure to something we now know to be highly addictive and damaging to mental health.
If this would have been the case, proper parental controls would have been in place everywhere.
Instead, parental controls are only used to maximize profits.
The tension between freedom and public health is obviously very real. That's why liberal democracies generally rely on public debate and expert opinions to decide what should be controlled and what should be widely available.
Turns out, the expert opinions on social media is not very good and very much in favour of a ban for minors. Also turns out that the public is apparently in support of the ban.
but no parent lets their kid play with either land mines or crack cocaine do they? cos the dangers are real. if the dangers were real, YOU wouldnt be on it would you?
Just like porn, its so dangerous kids just CANNOT be shown it, yet fine for adults obviously. that is not the same for crack cocaine and land mines (ie real dangers)
Good luck with that. On Android or Windows Google or Microsoft has control on what you can run with parental controls. (I don't know if on Apples iOS parental controls work as expected).
It's always been awful. OpenLDAP by itself is already attrocious and a pain to make work.
I have always been convinced it was on purpose. It's the point where you were supposed to decide paying Redhat is actually a good idea and nowadays it pushes towards a cloud based authentication solution you can integrate.
Realistically, who has any interest in fixing the mess?
I think that's actually directly in agreement with what I said. Okta built their own thing on the side without touching the Linux stack and is very happy for you to turn to them. So did Authentik actually.
We could also vote the policians protecting these uncompetitive markets out of power and let regulators do their job. There has been too many mergers in the component market.
You also have to look at the current status of the market. The level of investment in data centers spurred by AI are unlikely to last unless massive gains materialize. It's pretty clear some manufacturers are betting things will cool down and don't want to overcommit.
> We could also vote the policians protecting these uncompetitive markets out of power and let regulators do their job.
Could we though? Even if gerrymandering and voter suppression weren't already out of control, and getting worse, there are very few politicians who could or would do anything about all this.
True if production capacity increases but it's an oligopoly and manufacturers are being very cautious because they don't want to cut into their margins. That's the problem with concentration. The market becomes ineffective for customers.
It's not about cutting in to their margins, if they end up scaling up production it will take several years and cost an untold amount of billions. When the AI bubble pops, if there's not replacement deman there's a very real chance of them going bankrupt.
I personally was very pro-EU in my youth and deeply soured as I knew more and more to the point I'm staunchly against nowadays.
It started in 2005 with the referendum result being ignored. Then 2012 came with the shambolic management of the Greek crisis, something even the IMF points as ineffective. Then I was paid to put in place the Green Taxonomy and I saw how unready and dumb the whole thing was. Then there was the rejection of the Draghi report which made lose hope.
I find the mix of the euro being a deeply unfair currency union strongly advantaging Germany at the expense of the periphery, the fact that Germany keeps playing on it and amplifying the effect in direct violation of the treaty and yet always get a hall pass and their holier than though attitude despite being basically free loaders completely impossible to tolerate.
The 2019 CEP study showed it well. The union costs billions of GDP to France and Italy to give a minor advantage to the German. It's a dogmatic straight jacket managed by priests with zero actual economic understanding and serving the interests of a big mercantilist using development funds to shore up its tributaries in the east and still managing to gradually lose relevance as it can't even manage having a proper strategy despite the advantages, and a few fiscal parasites around it.
At 36, I deeply wish from my country to be free of the monster than the union has become and deeply ressent being a prisoner of a monetary union which intentionally didn't plan an exit path. And for what? Surrendering the ability to make law to the citizen of other countries who share neither my language, nor my culture, clearly don't have the same vision of the future than us and wants to force us into their ineffective model? No, thanks. No GDP gains or alleged diplomatic weight is worth this debasement.
I don't understand Brexiters because being out of the euros they had the best of both worlds but I respect their desire to be truly sovereign and free from the constant Germanic hegemonic push.
reply