Namely:

> The only way to do that is to make your code provable.

Proofs are a mathematical concept. They only work in the abstract world of mathematics where everything is perfectly logical.

Engineering exists in the real world. The physical realm where our mathematics are only imperfect models of what actually exists. Removing bugs through physical engineering requires persistent trial and error until you have found all the places where our mathematical models don't adequately represent the real world.

It's the same in software engineering, which involves cobbling together a myriad of systems not all designed to talk to each other and massive, ever changing codebases where perfect knowledge is impossible.

So yes, we should be trying to engineer bug free code. But that's really more a matter of changing our resource allocation, spending more time and money on QA and doing away with mottos like "Move fast and break things". It's a cultural shift and will only come when the bosses -- the venture capitalists who ultimately control our industry -- are held accountable when things break, and given strong incentives to ensure they don't break.

No. That is not what fascism is and using the word like that saps it of all meaning.

This is what Fascism is: [1]

> Fascism (/ˈfæʃɪzəm/ FASH-iz-əm) is a far-right, authoritarian, and ultranationalist political ideology and movement that rose to prominence in early-20th-century Europe.[1][2][3] Fascism is characterized by support for a dictatorial leader, centralized autocracy, militarism, forcible suppression of opposition, belief in a natural social hierarchy, subordination of individual interests for the perceived interest of the nation or race, and strong regimentation of society and the economy

As others have said, one can reasonable debate whether Yarvin should be identified as a fascist or "merely" an authoritarian monarchist. But either way he advocates for the replacement of democracy with an oppressive authoritarian system, is in a position of some influence and power, and is an enemy of anyone who values a free and open society.

If you're not familiar with the Paradox of Tolerance, you should look it up. [2]

> The paradox of tolerance is a philosophical concept suggesting that if a society extends tolerance to those who are intolerant, it risks enabling the eventual dominance of intolerance, thereby undermining the very principle of tolerance.

There is a valid argument to be made that if we want a free, open, and tolerant society we can not tolerate those who publicly argue against that. We don't have to throw them in prison, but they should be "de-platformed" -- boycotted in all public spaces. Their authoritarian ideas discredited and ignored. That's what the parent comment is referring to. And that belief -- that certain ideas that threaten a free, open, and tolerant society should be discredited, de-platformed, and boycotted -- is in no way similar to fascism.

[1] https://en.wikipedia.org/wiki/Fascism [2] https://en.wikipedia.org/wiki/Paradox_of_tolerance

Or did you mean "Bad from the perspective of the officers"? Which, uh, sure fine, but I don't really care what the officers working ICE concentration camps where dozens of people have died and the survivors live in deplorable conditions that absolutely violate the constitution's prohibition on "cruel and unusual punishment" think.

"The Wikimedia Foundation and the broader technology and nonprofit sectors are navigating a period of significant change. From rapid advances in artificial intelligence to evolving organizational priorities and external pressures, and changing patterns of readership and discovery, the decisions being made today will shape our workplace for years to come. Our union members believe this is the right moment to establish a lasting, legally recognized voice in those conversations. Rather than waiting until difficult decisions are made, we are organizing now to help build a stronger Foundation that can meet future challenges through collaboration, transparency, and shared stewardship."

https://wikiworkersunited.org/faq/

...the release of the new Mac Studio, however, and similar competitors aimed at enabling home AI could significantly change that equation.

This has been the pro-"write with LLMs" argument the whole time. "If you're not getting good results, you're not prompting well. FAANG are doing x% of their development with AI."

Yet all of the companies that I can think of that build on planet scale infra and have gone all in on LLM development have seen a marked drop in quality and stability since adopting LLM driven development.

So yeah, I don't buy it. When I hear that engineers are writing their with LLMs and I see quality improve or stabilize, then maybe I will start to question whether its a prompting issue.

The assumption is that LLMs should be writing the code and human engineers reviewing and verifying the LLM output. And that this pushes the cost of producing down. And I fundamentally disagree with that.

Every time I ask LLMs to write code, even with Opus 4.8 (haven't tried it with Opus 5 yet), what I get ends up being totally rewritten. LLMs still aren't good at writing maintainable code. Can they write plausibly functional code? Yes. But it won't survive the long term. People using LLMs to write all their code are gambling on them eventually getting to a point where the LLMs can fix their own code. It's possible, but I wouldn't necessarily bet on it.

Where I have found immense value from LLMs is in code review. Repeated review by LLMs catches an amazing amount of potential issues. They really shine on security review, but are very effective with any kind of review.

The other thing that the "LLMs write code camp" misunderstands is that writing was never the bottleneck. Understanding was. And understanding the code is still the bottleneck. But understanding is truly gained during the writing loop. The understanding you gain from pure reading or code review is marginal compared to the understanding you gain while writing.

Most of the time previously spent writing was actually spent updating and deepening our understanding of the system under development. There's no replacement for that understanding in a world where LLMs are doing the writing.

But if you flip it: humans write, LLMs review, then you still get a major gain -- not in speed, but in quality. And you keep the understanding loop intact. I would propose that this might be the best way to deploy LLMs.

There's a proposal to add privacy to the protocol (private posts, private groups), but I don't think anyone has solved the real root problem with trying to implement privacy in a federated system (as opposed to P2P), which is the bad administrator problem. The proposal I saw still relied on trustworthy app administrators to respect a post's privacy settings. And that's a huge flaw.

Friendica and Diaspora both have the same problem, and to my knowledge don't have a good solution for it. They both just sort of hand wave it away.

I'm waiting to see if someone comes up with a good solution for the unsafe admin problem, but so far I haven't seen one.

Someone doesn't have to talk about the climate impacts of cars every time they talk about the climate impacts of AI. Both have climate impacts, independently of each other, and we should be dealing with the climate impacts of both simultaneously.

Regardless, don't assume the person you are talking to isn't consistent. Peruse my personal blog and you will see that I, in fact, ran a whole city council campaign on a platform of "to fight climate change we should not be driving".

It would be a lot easier to set those warnings aside if we didn't have so many examples of the very things they warn about happening in real life.

We currently have a system where private individuals can fund private science and then deploy the results globally to their own profit with very few mechanisms for enforcing restraint and caution. And we've seen this backfire with horrific consequences over and over again.

Lead in the gasoline. Microplastics in the water. Pesticides widely applied to the biosphere. In my area PCBs are a massive risk due to past soil contamination. In other areas fracking biproducts make the water undrinkable.

Hell the AI rush in the face of climate change. We literally have heatwaves killing massive numbers of people while a tiny handful of investors and the companies they control are drastically increasing our carbon emissions in the race for AI.

It's easy to imagine all the ways in which synthetic life could go horribly wrong, even with out those sci-fi stories, especially since all but the youngest of us have been through a brutal pandemic in living memory.

It's very, very hard to imagine our current system showing proper restraint with this technology.

You could make an argument that some of them are "classical liberal" or "neoliberal", but that was the center in the US and everywhere else it is center-right.

Definitions are helpful here.

"Classical liberal" is what the US was founded as. It was a liberal Republic. Classical liberals value political freedoms, civil rights, and free markets. They are anti-monarchy and anti-authoritarian. Most of the revolutions of the 1700s and 1800s were driven by Classical Liberals seeking political freedom

In the origination of "left" and "right", Classical Liberals were "center left". "Center right" were the moderate constitutional monarchists. In the US where we have zero interest in constitutional monarchy, Classical Liberalism was always the center.

Since World War II, that center became a settled question in much of the western world. The answers are "Yes, constitutions", "Yes, political freedoms", and "Yes, civil rights". Though in many places, civil rights were incompletely extended and so much of the argument has been about extending them fully.

The other side of the argument is "the social question" which got rebranded as "economics". It boils down to how much do we allow power and wealth to concentrate. This became more and more of an element of the revolutions starting in the 1850s -- the revolutions of 1848 were the first to really feature a true left as it is understood today: socialist, communist, and anarchist. (At the time, it was just socialist. Communism as a theory didn't exist yet and anarchism was nascent.). And just to be clear, the "left" refers to Classical Liberals as "Bourgeoisie liberals" -- capitalists and capitalist defenders -- and does not consider them to be part of the left.

The center in the US since the 70s has been a neoliberal consensus which argues for allowing the Capitalist markets to do their thing with minimal intervention. And most of the debate has been about how much that minimal invention should be -- with the two sides mostly arguing between "almost none" and "minimal".

Neoliberalism is more or less a form of libertarianism (US Libertarianism edges into Anarcho-capitalism).

For all of the 80s, 90s, and early 2000s, Neoliberalism was the center and was the entirety of both the Democratic and Republican parties. The "left" vs "right" argument was focused on things like foreign policy and whether we complete the extension of civil rights to everyone.

For most of those decades, all of those sources you just named arranged themselves squarely around that center. They were all Neoliberal. They all took rotating positions on foreign policy, aligning with each party based on the political winds of the moment. Many of them did include arguments in favor of the continued extension of civil rights, but many of them also included arguments against it. Few of them whole-heartedly endorsed that extension until after the fact.

We've never had much of a truly left mass media to speak of.

In the last decade and a half, authoritarianism, fascism, and neo-Nazism have seen a resurgence world wide. And in the US an explicitly fascist movement with Nazi elements captured the Republican party and then the government. Anyone with a political science background taking an honest, empirical look at the MAGA movement will identify it thus. That movement directly pulled from the Nazi playbook in their rise to power. Trump has often cribbed directly from Hitler's speeches, barely even paraphrasing them.

During that movements rise to power, we have seen large elements of the wealthy elite that controls much of the media align with that movement.

At this point, most social media sites are controlled by actors who either have explicitly aligned with the US fascist movement or have effectively acquiesced to it.

Meta has added fascist aligned members to its board and put fascist aligned people in executive positions through the company. They've also voluntarily acquiesced to the regime's requests to silence anti-regime activists.

Twitter is explicitly fascist. Elon Musk is a core member of that movement.

TikTok has been captured by that movement through an orchestrated buyout.

Most of our media is social media, and right there you now have the biggest source of news and information for the vast majority of people fully captured by the fascist movement.

As for traditional media, CBS has been captured. Bari Weiss is a part of the fascist movement and her elevation was part of their pressure campaign.

The Washington Post is owned by Bezos who has aligned with that movement and is explicitly exerting editorial control.

News Corp (Fox News and the WSJ) is aligned with the fascist movement and is arguably one of its originators. Sinclair group, which owns most local TV stations, is also aligned with that movement.

And to be clear, I watched this happen. I've long made a habit of subscribing to sources from across the spectrum and made a hobby study of political science and trying to identify source's biases by political taxonomy vs the frustratingly simplistic left / right spectrum. I used to subscribe to The National Review, Reason, The American Conservative, the Weekly Standard, and others. I've largely tried to avoid those that are blatant, ingenuine propaganda (which Fox News has always been) in favor of those making earnest well founded arguments. And one by one, I've watched them fall to the fascist movement over the last decade. Reason is the last hold out, truly committed to civil liberties and libertarianism -- though it hasn't yet recognized the fascist movement for what it is (or hadn't last I checked in on them -- I haven't had the time to read as much lately).

It's pretty clear that you're in the fascist propaganda bubble, based on your posts and where you put things, and that is badly skewing your perception of where the center is.

I would strongly encourage you to get out of that bubble.

What happened is that the far-right -- and, lets not use euphemisms like "the far right" here, we're talking about fascists and literal Nazis (ethno-fascism is Nazism) -- have successfully taken control of much of our mass media. They've also more or less captured the government of one of the world's super powers. Those two things put together have allowed them to make their views appear mainstream.

This is exactly what happened during the 1920s and 1930s prior to World War II. And similarly, you were finding Nazi views expressed openly and proudly and being given a veneer of respectability. (See https://en.wikipedia.org/wiki/1939_Nazi_rally_at_Madison_Squ...)

But they are no less extreme now than they were then. They are still fascist and Nazi views. And they still ought to be abhorrent to anyone who considers themselves a decent human being.

And to be clear, I'm talking about the push back towards protocols and decentralization as the solution to enshittification and lock in. I fully believe decentralized protocols and the ability for us to run federated instances for our communities is valuable in and of itself. What I'm arguing against here is the degree to which the pro-social tech community has coalesced around this push as the one and only solution to the problems of enshittification.

And in that context, the average user is everything. And the push fundamentally misunderstands both how enshittification works (email is fully decentralized but still enshittified to a large degree) and the capabilities of the average user (not just their technical capabilities but their cognitive load capacity).

If you want, s/relay/pds/ and my point may become clearer. Or, even, s/relay+pds/app/. The point is pds+relay+app functions as instance for the average user. And the average user doesn't have the time, energy, or cognitive capacity to pick an instance that would be the right fit for them. Which means these decentralized networks are still heavily centralized. And if they remain heavily centralized, those central players still exercise an enormous amount of power over the network.

Including the power to enshittify it.

We can't solve enshittification if we're not cognizant of what the average user is capable of. And that capability extends to more than just "technical understanding". So far, I don't think the protocols push, in so far as it is being pushed as the solution to enshittification, is grappling with that adequately.

> Alarmingly, this mistrial order is just the latest example of attacks on the Prairieland Defendants’ constitutional rights to access to counsel, a fair and impartial jury, an adequate defense, a public trial, and more. Judge Pittman has made highly unusual moves that suppress defense teams and which federal lawyers have not seen during their entire careers:

[...]

> NLG remains extremely concerned about these cases. Defendants’ First Amendment rights to free expression, assembly, and association; their Sixth Amendment rights to counsel; their Fifth Amendment rights to a public trial; and their Second Amendment rights to bear arms are under attack in North Texas. If unchecked and ignored, this case and the judicial decisions coming from it will set a very dark precedent for the rest of the country.

https://www.nlg.org/all-eyes-on-north-texas/

And I honestly think this is one of the fundamental problems with the push back towards protocols and decentralization. We're overestimating the bandwidth and capabilities of the average user and we haven't fixed the problems that pushed everyone towards centralization in the first place.

Take me, for instance. I am not only capable of running my own Mastodon or Atproto data server+relay -- I'm technically capable of writing my own ActivityPub or Atproto app.

But I'm currently sitting with accounts on bsky.app and mastodon.social -- the biggest most centralized "instances" (yes, I know, but it reasonably describes the problem). This is because I do not have the time or mental bandwidth to even pick an "instance" that would be better suited to me and migrate, let alone run my own.

And this is doubly and triply true for the average person who doesn't have the technical abilities I have.

As a result, both Mastodon and Bluesky are still practically centralized to a large degree. An overwhelming majority (more than 90% last I found data) of Bluesky users are hosted by bsky.app. Similarly on Mastodon, a large plurality of users (~20%) are on Mastodon.social. Mastodon's obviously doing better than Bluesky in this regard, but it also has about a quarter of the overall traction, and I'd honestly put that down to Bluesky's apparent centralization which makes it a lot easier for people to join and wrap their heads around it.

If you force me to guess, then I'm going to guess. Not only does that give me a 25% chance of getting it right at random, but as others have pointed out, it is very hard to make a multiple choice question that isn't guessable by an astute enough test taker. I think I knew 80 - 85 of those words, but I scored 97, because those questions were very guessable.

Also, reiterating everyone else's comments with respect to the UX needing fewer clicks, and also the definitions not being exact or precise in many cases.