Masses of doctors, nurses, and other medical professionals who individually have much less wealth than Bezos are a lot more responsible for the cost you pay for health care than Jeff Bezos is.
Also anyone who owns Amazon stock in their investment accounts - or who owns the S&P 500 - is also making and losing money when Jeff Bezos makes or loses money, for exactly the same reason.
Basically no one has been made poorer by the existence of Amazon, a company that mainly sells cheap consumer goods (or cloud compute) to the masses. The small number of people who have been made poorer by the existence of Amazon are people in the upper 5% or so of American wealth who owned a consumer-facing business that got out-competed by Amazon, and by definition that means that a much larger number of generally-poorer people benefitted because Amazon fulfilled their wants and needs better than the other business did.
Yeah but there's a lot of individual members of society, and nearly all of them benefit from supply chains that emit CO2 and would have to stop doing so in order to not emit the CO2.
If gasoline in the US cost $20/gallon this would reduce the amount of CO2 emissions because suddenly driving a gasoline-powered car is much more expensive for everyone. This would make a lot of ordinary Americans very upset.
All everyone needs to know is gas prices will slowly increase to $20, and change starts happening immediately. Nobody actually needs to be stuck with a $20/gallon charge.
As you note, sudden discontinuous changes just create their own pushback, which works against the change.
I'd much rather live in a society where Jeff Bezos has more wealth than me and I can buy things on Amazon, than in a society where Amazon no longer functions as a company because it was destroyed by a military insurrection and also the leaders of said insurrection have unequal access to resources compared to most other people (because they're the leaders of a military insurrection; there's not a whole lot of equality in a military)
I'd much rather neither, but apparently that's utopian.
Dictatorship is an almost inevitable outcome of huge wealth inequality.
At the very least political checks and balances erode rapidly, because most politicians, judges, and media people love easy money. If a billionaire throws money at them they'll do whatever they're told to do.
There aren't many systems that protect non-compliers from negative consequences when they're surrounded by corruption.
Also, who said anything about Amazon? Why are you myopic? The whole system is rotten to the core when a single person can make it in a minute more than 99% of world’s population and not use the money to advance the world. And before you mark (ha, get it?) me as a communist – I’m not against wealth and personal ownership. It’s one thing to own a Ferrari and an expensive home, and is another to live in a cookie clicker world watching number go up and doing nothing with it but multiply the money.
so it is either or, eh? this is the fault of our society (the most in america due to two-party system) where we have been programmed (especially in recent years with party-controlled “social” media) to think this way. there is of course much more sane middle ground but we are past the point, evidenced by comments like yours, where this is even debatable. any approach to a more sane scenarios will be labeled as “socialism” etc…
Are there not wealthy business owners who donate their money to poltical causes they believe in in other countries with differently designed electoral systems?
In some of my circles it's a runing joke that Rust, along with Haskell and some other adjacent FP languages, are favored by trans women; and also when I think about the women I know personally who write Rust code in some kind of professional or hobbyist capacity, I think literally all of them are trans.
> The doctors are sympathetic, and I think some of them even understand—regardless, they can offer no solace beyond the chemical. They are too kind to resent, but my envy is palpable. One, a trans woman, is especially gentle; perhaps because her own frustrations mirror mine, our cognitive distance sabotaging her authenticity.
Competition is good, but Europe has generally less good legal free speech protections than the United States does (because basically everywhere has less good legal free speech protections than the United States does, the first amendment is a powerful legal framework). Being governed by European law means that there's a whole host of things that the criminal justice system has an interest in preventing you from saying, and eurosky will presumably follow the law.
My experience is that on American platforms free speech means that these platforms are free to remove whatever content based on whatever heuristics, with little to no accountability. Right now I see examples of American social norms limiting expression worldwide (see people adopting bl**ping out words and using defused meta-expressions such as 'unalive' worldwide to escape any potential bans). Right now American free speech means that I'm subject to opaque, automated laws of a corporation which I cannot influence as a citizen.
Does eurosky fix this? Serious question. I don't approve of the private moderation of US-based social media, and I think that the ideal social media platform would be completely decentralized in all ways including moderation. But does any European law or social norm prevent eurosky.social from banning people who fail to put *'s in their slurs or use a euphemism for killing yourself?
Yes, exactly. Someone is going to moderate the platform, and in the US that is an entity which owns the space - an entity which at its core wants people on the platform. That dynamic is why we'd expect to see all the major social media platforms operated from the US, as opposed to most places where the moderation is ultimately driven by courts and governments.
Can't speak for the EU, but in the English speaking world outside of the States it'd be quite risky to run large social media sites of the scale that the US ones operate at. The laws around what can and cannot be said in public are too limiting.
I remember when there was a suppression order out on talking about Cardinal Pell in Australia, it was eye opening to how limited political speech actually was. Good luck to anyone in Aus trying to compete with Facebook, let alone the UK.
Mind that freedom of speech (US) and freedom of opinion (Europe) are different concepts. E.g., while you may harbour a certain opinion in the EU, expressing this in a way generally considered harmful (concept: speech may establish an act) may get you in trouble. On the other hand, crossing the US border may trigger an attempt to infer your opinion from extracted public or semi-public expressions, which may get you in even more serious trouble, you may be even considered a viable target based on such inferences (and there is no clear law for this, there isn't even due process.) Both concepts come with their own freedoms, implications and caveats.
Many europeans feel there are many things that free speech protections allow in the USA that should not be allowed. EU laws attempt at least to restrain some of the most egregious speech online.
> EU laws attempt at least to restrain some of the most egregious speech online.
Isn't the difficulty that rules designed to suppress the most harmful speech often create a wide blast radius, affecting legitimate expression in ways that are hard to predict and/or contain?
Free speech means that the government doesn't go after you. It doesn't shield you from consequences (which you may or may not agree with) from private parties.
And what should we do when it's the un-elected corporations, rather than the democratically elected government, whose censorship of us and our views is a consequence we object to?
Musk was 100% allowed to do that. Should he have been allowed to do that? It was undone, but should it have been within the set of things he was allowed to do in the first place?
Should the previous ownership of Twitter have been allowed to suspend all the accounts they did? And make all the other moderation decisions that inspired Musk to spend billions of dollars buying the site and changing its moderation policy? Plenty of people argued so at the time, generally because they broadly agreed with the moderation decisions the previous ownership was making.
I don't trust either an un-elected corporation or a government chosen by an electorate full of people I don't agree with not to censor my speech, or the speech I want to see. As far as I'm concerned all centralized social media platforms are vulnerable to censorship of some kind or another, and the best way around this is to build systems that make it as technically difficult as possible for a 3rd party to intercept a message one person broadcasts to willing listeners.
> I don't trust either an un-elected corporation or a government chosen by an electorate full of people I don't agree with not to censor my speech, or the speech I want to see.
A government *always* has this power, constrained only by their constitution (not just the American big-C Constitution, but anywhere that would have e.g. a court that can tell the government "no").
Allowing corporations to censor is to grant this power to additional actors, without the oversight or limitations the creators of a constitution place upon subsequent governments within that constitution.
Consider the same question with a different right: a government which implements the UN declaration of human rights at a constitutional level, that includes the right to life; if such a nation permits a literal Pratchett-style Guild of Assassins, would this not be outrageous? That the government wasn't the one ordering the killings ought to be irrelevant. The same applies to censorship.
And in reverse, if there is a constitutional-level protection of speech that binds on the government, it ought to also bind on those that provide spaces for discussion.
And when one set of rights comes into conflict with another, let it be judged in public by the constitutional court, not by the secret court of an opaque private review process.
> As far as I'm concerned all centralized social media platforms are vulnerable to censorship of some kind or another, and the best way around this is to build systems that make it as technically difficult as possible for a 3rd party to intercept a message one person broadcasts to willing listeners.
Even America deems some speech to be unlawful.
Copyright infringement, NDAs, and non-disparagement clauses in contracts being the easy example where some private actor can invoke the power of the state to silence a certain category of speech.
Speaking personally, I think copyright should be much shorter (perhaps 20 years or so, perhaps variable with medium as news often stops being important after just a matter of days, but novels and music can remain relevant for a lifetime); I can understand why NDAs should exist, but I think they should also be time-limited; and I think non-disparagement clauses are exactly the kind of thing which any proponent of free speech should consider harmful.
>And what should we do when it's the un-elected corporations, rather than the democratically elected government, whose censorship of us and our views is a consequence we object to?
Find another service. Find another platform. Or make one.
You say "un-elected corporations" as if to imply something sinister about the fact that businesses can have terms of service, but every business in existence is un-elected and has terms of service. What is the alternative, to have a grand jury decide everything?
>Musk was 100% allowed to do that. Should he have been allowed to do that?
Yes, it's obvious Musk should have been allowed to do that. Just as the mods on Hacker News are allowed to do that. It's their shop, they can refuse service to anyone.
Should Musk have done it? No. He's an asshole, and that kind of behavior ruins the value of his platform. Should it be legal for Musk to be an asshole and ruin the value of this platform? Yes, because Twitter isn't a monopoly and people can (and have) gone elsewhere.
The alternative is direct government control of all online platforms and all means of communication and replacing private censorship with government censorship, which is worse than letting Musk be an asshole, because Musk can't put people in jail or shoot them dead in the street for their speech. I can far more easily leave Twitter than I can my government's sphere of influence.
> Find another service. Find another platform. Or make one.
1. Which is the topic of the post, and where the solution is being objected to.
2. Network effects are a thing
3. Efforts to deeply integrate these networks into societies, make them seem irreplaceable, are a thing; in the case of Twitter in particular, it appears to have full-throated support of the US government, despite how this kind of thing is what DOGE itself was objecting to when it was in the form of fairly cheap radio stations in random 3rd world nations.
> You say "un-elected corporations" as if to imply something sinister about the fact that businesses can have terms of service, but every business in existence is un-elected and has terms of service. What is the alternative, to have a grand jury decide everything?
First: When it's a matter of freedom of speech, that can be encoded into the law, then it is just like the various bans on discrimination against protected groups. Are those done with grand juries?
Second, consider the opposite: given Musk's censorship preferences, is it OK for the US government to make heavy use of X.com for direct communication? Or is that use, as per judge ruling from first Trump term saying the POTUS account wasn't allowed to block people, now covered by 1st Amendment constraints despite being theoretically a private corporation?
Third, there are rules about what is and isn't allowed in terms of service. Is Apple now banned from banning app developers from linking to non-Apple storefronts? I've lost track of which jurisdiction has placed which restrictions on them and where they're at with appeals.
> The alternative is direct government control of all online platforms and all means of communication and replacing private censorship with government censorship
Not so. First: there are many laws governing corporations and online platforms and means of communication, none of which are "direct control". All corporate law, in fact. It is a setting of the rules of the game, and no more "direct control" than a referee in a ball game.
Second: The US government has the 1st Amendment, the EU has the Charter of Fundamental Rights of the European Union (amongst other things), these are meta-rules, rules about which rules may exist, restrictions against other restrictions.
> because Musk can't put people in jail or shoot them dead in the street for their speech.
There are plenty of people arguing the case that Musk's purchase of Twitter bought him the US government. Were they right? I am uncertain.
> I can far more easily leave Twitter than I can my government's sphere of influence.
Can you leave Twitter's sphere of influence, just by leaving the site? If you're an advertiser, will they let you leave or sue you for it?
Private corporations have tried moving advertising away from Twitter only to be met with legal retaliation from Musk. Speech about Twitter showing what it gets wrong has met with retaliation from Musk that exceeds the budgets of those making that speech, silencing the critics. Nations demanding Twitter does not interfere with trials about domestic attempts at overthrowing elections have been met with Musk trying to circumvent those rules. Nations whose population and government both demand that Twitter does not spread CSAM are now facing threats from the US government itself.
Network effects aren't laws. It isn't illegal or impossible to leave Twitter - millions of people have already done it.
> in the case of Twitter in particular, it appears to have full-throated support of the US government, despite how this kind of thing is what DOGE itself was objecting to when it was in the form of fairly cheap radio stations in random 3rd world nations.
The problem in that case is government influence over the platform and the collaboration between government and the press (if Twitter counts as the press,) not the free speech rights of the platform itself. Wanting greater regulation of online platforms only exacerbates that problem and normalizes it. If you don't trust the American government's influence on Twitter - and you shouldn't - why would you trust your own?
Hate speech laws are well and good until opposing your government's involvement in genocide gets classified as hate speech.
>When it's a matter of freedom of speech, that can be encoded into the law, then it is just like the various bans on discrimination against protected groups. Are those done with grand juries?
Fair enough, but what is the "protected group" in this case? It can't be everyone.
>There are plenty of people arguing the case that Musk's purchase of Twitter bought him the US government. Were they right? I am uncertain.
I don't know, but if so the problem there again is the government's own corruption not the platform's right to free speech. Powerful influential people have used the media to influence elections and sway voters ever since mass media made it possible. That is arguably a fundamental and necessary part of the democratic process.
If a platform doesn't have the right to advocate for a political position or candidate then it also doesn't have the right to call out political corruption.
>Can you leave Twitter's sphere of influence, just by leaving the site?
For all intents and purposes, yes. What exactly can Twitter do to me on Hacker News? Or in my own home? Nothing, legally.
> Network effects aren't laws. It isn't illegal or impossible to leave Twitter - millions of people have already done it.
Irrelevant. They have the impact of making it difficult to leave. (Conversely, the more who do, the easier it gets for the rest to leave; if Musk cared about money from the platform, this would be an important concern, as the hysteresis slows initial departures, but when enough damage is done they can't mend their relationship with their customers by undoing just whatever happened to be the metaphorical last straw which broke the metaphorical camel's back).
> If you don't trust the American government's influence on Twitter - and you shouldn't - why would you trust your own?
The point is, that government influence is always present. Pretending they're actually independent is a fig-leaf to deflect blame while allowing censorship anyway. If you force the same laws that apply to the government to also apply to these organisations, if you let Twitter (and Facebook, and all the others) face the same consequences that the government would face, that means they are as limited in what they can censor as the government itself is.
> Hate speech laws are well and good until opposing your government's involvement in genocide gets classified as hate speech.
Is an additional problem, yes. And yet, in its absence, you can get banned without recourse, without trial even, from all the private sites for the same.
Consider: If you have a democratic right to talk to your representative, and that representative decides to only make themselves available over ${insert network here}, then ${that network} banning your account has the same effect as that representative banning you, only without any court able to order them to re-enable access for your democratic rights. Previous link to judgement regarding Trump and Twitter amounts to this, even though in that case it was Trump doing the blocking rather than Twitter.
The absence of government intervention does not help, it creates a power vacuum in which the same problem exists without democratic oversight.
> I don't know, but if so the problem there again is the government's own corruption not the platform's right to free speech. Powerful influential people have used the media to influence elections and sway voters ever since mass media made it possible. That is arguably a fundamental and necessary part of the democratic process.
If corruption is a "fundamental and necessary part of the democratic process", that's not a democracy, it's somewhere in the space of oligarchy, nepotism, kleptocracy, and aristocracy. Of course, no system is pure anything, but the point is that this isn't putting the δημο into "democracy".
Many countries, amusingly including the USA, have rules on silence right before an election; some recent electoral weirdness has been attributed to social media violating this: https://en.wikipedia.org/wiki/Election_silence
> What exactly can Twitter do to me on Hacker News? Or in my own home? Nothing, legally.
Sue you personally for your free speech for saying Musk's (in your words) "an asshole", and that his was the "kind of behavior ruins the value of his platform". Which ought to be protected free speech, may be legally protected in theory, but can you afford even just enough lawyers to get an anti-SLAPP against him? Some organisations have closed down because they could not.
It can promote propaganda that fuels a mob hell-bent on overthrowing your government while censoring anyone trying to organise against it.
What's that saying, "your freedom to swing your stops at the end of my nose"? Same applies here. His freedom to decide who is and isn't allowed to say what on his platform ends the moment it becomes censorship itself.
Well that depends on your point of view. America might consider that holocaust denial, nazi flags and westboro bapists are good speech, but having something to watch a legally owned DVD is bad, Europe might consider things the opposite way round
Given that some forms of speech can stop other forms of speech, it's not clear cut.
There is a reason why countries in Europe have such laws. US did not have a major war for quite a while on their own soil which affects your thinking. We do not want to reignite national socialism or communism, we do not like to see news channels lying to us. We do not like Russian bot armies spreading propaganda in chats.
What truth is it that you cannot say in Europe? You can say pretty much anything and be critical and nothing will happen to you. And if something happens there are instruments like European court system which you can use to fight your case (there is no need to be rich for that).
Individuals get arrested for posting memes in the U.K. and fined and/or get phones taken away in Germany for the same because an unelected bureaucrat did not like it. 1984
There's multiple Lean tutorials, some of which are more mathy than others. One of the things I like about Lean is precisely that it's an ordinary, Haskell-style functional programming language in addition to having all the Curry-Howard-isomorphism-based mathematical proof machinery. You can write `cat` in Lean.
Children are not typically known for sitting quietly in a room alone. Blaise Pascal himself was unmarried and childless, and died at the relatively young age of 39.
I actually don't think this is true. I do think that most programming errors are type errors, in the broader sense of one part of a system making one set of assumptions about the properties of some data, that aren't shared by another part of the system; and that would've been caught automatically by sufficiently sophisticated static correctness checking. I do not think that Rust has a maximally sophisticated type system (nor is it trying to), and while this is reasonable for Rust as a project to decide, I do expect that there will be languages in the future that do more complex things with type systems that might supplant Rust in some domains.
The Cloudflare incident was caused by a confluence of factors, of which code written in Rust was only one. I actually think that Rust code worked reasonably well given the other parts of the system that failed - a developer used unwrap() to immediately crash instead of handling an error condition they thought would never happen; when that error condition did happen the Rust program crashed immediately exactly as expected; and if Cloudflare decided that they wanted to ban not handling an error like this in their codebase, it's a pretty easy thing to lint for with automatic tooling.
reply