If I commission a part specified as 10.00 ± 0.01 mm, I can verify it with a calibrated micrometer without understanding the CNC machine, its software, or how to manufacture the part. Likewise, a function with a finite input space can be exhaustively tested against its specification without understanding its implementation. In these cases, I need to understand the requirement and the test, not the production details, which can actually be a black box.
Your examples show that verification is sometimes inadequate, not that it requires full productive competence. The conclusion doesn't generalize.
This post ignores that verifying something works doesn't require you to fully understand it. This is easily observable in products we use everyday. We don't need to understand them to be able to verify they work correctly. The cost of verification is often cheaper than the cost of production.
It present delegation as absence of power/agency. While I think there is some kernel of truth in here, the claim "it's not empowering to hand off the details" quickly falls apart when we consider real examples. If it were true, it would mean any leader who coordinates an organization isn't empowered through delegation. We know that's false. The general claim doesn't hold at all. Somewhere in there is an argument for engineers losing something in the hand off, but it isn't clearly articulated.
Perhaps, but it's important to keep in mind not even a majority of Codeberg users voted for this. A majority of their privileged voters did, which is a small minority of the actual users, and it wasn't unanimous amongst the voters. Over 30% of their voters did not agree with this choice. I'm not building crypto or vibecoded projects and this still makes me seriously question if I could trust Codeberg's current majority voters to not simply target other minority software categories without real justification just because they didn't personally approve of it.
Prohibiting fraud or infrastructure abuse is one thing, but declaring entire categories of lawful software harmful to Codeberg’s reputation is another. They've ironically tanked Codeberg's reputation far more from these policy changes than any projects in that category could have possibly. After these changes, it is difficult for any business, or any project seeking stable infrastructure, to trust that its codebase won’t become unacceptable after the next member vote.
Your two points seem logically at odds. If simply asking people not to upload prohibited material worked without enforcement, then Codeberg's existing copyright policy (and international laws) would already be sufficient. If people don't reliably follow that policy, then adding a vague AI-specific policy with the same enforcement problem changes nothing. What logical connection between AI involvement and copyright infringement does this new rule address that the existing copyright policy does not?
MUDs never disappeared. People stopped finding them engaging enough to use. Blaming Discord reverses the causality. MUDs lost engagement long before disco was created. People congregate on disco because it offers a more compelling social interface, even if it lacks the depth of a persistent game world. The opportunity I'd draw from this isn’t to convince people to return to older and less engaging interfaces. It’s to build persistent roleplaying systems around the interaction modes that have proven to be more engaging already. Potentially combine voice, speech recognition, text, tts, and synthesized characters with a proper world simulation underneath. If roleplaying communities already gather in disco, then deliver the experience where they already are. The interface was always irrelevant to what made MUDs fun anyway. Imagination and connecting with other people was always the thing.
This seems like a wild basis for a hosting policy. It doesn't ban code shown to be infringing, malicious, insecure, or unmaintained. It bans code based on how Codeberg believes it was produced or some individuals at Codeberg believe it was produced.
How would they establish that a project "mostly" consists of AI-written code? Lines, commits, tokens, or architectural importance? There is no reliable detector, and metadata only catches people who honestly disclose their tool use. In practice, this only creates an incentive to conceal AI usage.
Authorship is also a poor proxy for quality. Human-written codebases routinely contain copied patterns, unnecessary abstractions, stale comments, superficial tests, security vulnerabilities, and large subsystems nobody seems to understand. Many mature projects exhibit the exact same problems attributed to LLM-generated code with the technical debt they've built up over time. Slop isn't new or unique to generated code. It is extremely common, especially in beginner, hobby, and abandoned projects which have historically served as a critical part of the open source software community.
The copyright justification is particularly weak. Lack of copyright protection does not make code non-free. Public domain source is still free software. A particular output might reproduce protected third-party code, but that requires evidence about that output. It isn't established merely by showing that an LLM was involved. If provenance were the true concern, then allowing some undefined minority of AI-generated code doesn't solve it. A single copied component can create a real licensing problem. So, the argument immediately falls apart when they qualify it with "mostly".
I don't use Codeberg, so I have no personal stake in this, but I'm surprised its community adopted such a vague and practically unenforceable policy. The argument that Codeberg has limited resources and cannot host endless disposable projects sounds legitimate until you consider how this policy could be enforced. Either someone must investigate repositories and infer their production history from circumstantial evidence, which is expensive and unreliable, or enforcement will be selective and complaint-driven.
If resource consumption, abandonment, or low-effort projects are the actual problems, Codeberg should regulate those observable problems directly though I'd argue targeting "low-effort" projects is as problematic as this policy suffering from many of the same issues. As written, the policy seems more likely to punish honest disclosure than to actually prevent harmful or infringing code.
Do the people who sign sworn affidavits already have to have proven identities? If so, then they're unable to recover from a situation where they lost everyone's identity.
The article, the teacher, and the general academic community skips the hard question when it comes to AI and that's whether these exams are testing knowledge that is still worth internalizing in the same way?
Academia has a long history of lagging behind acceptance of new cognitive tools where they claim to want to defend the students, but instead defend the assignments of the past at the expense of the students. Calculators were treated as threats to learning, even though they ultimately freed students to focus on higher-level math and provably improved their abilities across many different studies. Internet sources were dismissed as less legitimate than books, as if “published in an outdated book from the 70s” magically made it more trustworthy than the most scrutinized reference sources online.
It is not clear from the article exactly how much of this course falls into that category, but if the answers can be produced trivially with a prompt and chatgpt, then maybe memorizing that material is no longer the right educational target. Academia desperately needs to redesign itself around AI as a cognitive tool students should be trained to leverage. If a question is trivially answered by a prompt with it, then you need harder questions that actually require students to push beyond that. Simply removing AI from the equation, calling it cheating, and pretending that it isn't an ever-present asset people are expected to leverage in real life is naive and just repeats the mistakes of the past.
Sure, the tweet was about their releases since 2016 when I assume this particular dev was involved, not the original release. To be clear, I'm not saying their games aren't good or even that they didn't have some success. 20 million in sales for their entire franchise isn't bad, it isn't the 500 million in sales we see from CoD or Battlefield, but it isn't bad. I actually liked the games, but claiming they are the "BEST GAMES EVER!" and having the gall to mention Google where no Google results ever show them as the best is where I have an issue. We don't need to spread misinformation like that and if the dev actually believes this I can only assume they live in a bubble.
Wow, that tweet claiming the Doom series is the best first person action game in the entire industry is crazy. That dev has to be completely disconnected from the rest of the game industry or delusional. No stats support that claim at all. Not player count, not sales, not reviews, nothing. The first Doom was certainly industry defining, but it and its sequels have never been considered the best by anyone except apparently this dev. If they were the best, they probably wouldn't be getting laid off right now.
It's not all that surprising that people were worried and believed this. The AI companies and infrastructure companies partnering with them have spent a lot of money and time trying to convince people this is the case year after year. The critical clue people miss is that everyone claiming that has very clear financial incentives to convince people that's the case even when they know it isn't. Anyone who was actually building with LLMs and judging for themselves based on its performance knew fully well that wasn't the case year after year.
"LLMs are as good as almost any security researcher"
Oh really? If LLMs were as good as almost any security researcher then you wouldn't be getting flooded by bullshit reports from them. You'd be receiving legitimate reports instead.
That's right, Airbus is responsible for the faulty equipment onboard, not pilot training. Air France is responsible for its pilots' operational training and recurrent training.
Gun rights are generally not gone forever. Federal law bars people adjudicated mentally defective or formally committed to a mental institution, neither of which include a temporary mental hold for suicide watch. State laws vary, but none of them have a law where a single temporary hold means "gun rights gone forever." Some states let people go buy a gun the day they are released from suicide watch, despite how irresponsible that sounds.
You can see in their stats view they have a lot of providers/nodes connected but practically no actual demand/consumers. They just launched and I'm sure get providers was top of their agenda, but it's essentially unusable as a provider unless they perform some serious lift to get actual paying customers.
Not quite the same. Here it wasn't just the overreaction from some weak authority figure. The arresting cop had to knowingly violate established laws. The officers who pursued the charge had to have done the same. That's systematic corruption and failure in the local law enforcement who imo all need to be investigated and fired asap. It's less some weak authority overreacting and more like a whole lot of incompetent people who are supposed to uphold the law actively violating it.
Your examples show that verification is sometimes inadequate, not that it requires full productive competence. The conclusion doesn't generalize.