14 Dec 2025
Slashdot
Trump Ban on Wind Energy Permits 'Unlawful', Court Rules
A January order blocking wind energy projects in America has now been vacated by a U.S. judge and declared unlawful, reports the Associated Press: [Judge Saris of the U.S. district court for the district of Massachusetts] ruled in favor of a coalition of state attorneys general from 17 states and Washington DC, led by Letitia James, New York's attorney general, that challenged President Trump's day one order that paused leasing and permitting for wind energy projects... The coalition that opposed Trump's order argued that Trump does not have the authority to halt project permitting, and that doing so jeopardizes the states' economies, energy mix, public health and climate goals. The coalition includes Arizona, California, Colorado, Connecticut, Delaware, Illinois, Maine, Maryland, Massachusetts, Michigan, Minnesota, New Jersey, New Mexico, New York, Oregon, Rhode Island, Washington state and Washington DC. They say they have invested hundreds of millions of dollars collectively to develop wind energy and even more on upgrading transmission lines to bring wind energy to the electrical grid... Wind is the United States' largest source of renewable energy, providing about 10% of the electricity generated in the nation, according to the American Clean Power Association. But the BBC quotes Timothy Fox, managing director at the Washington, DC-based research firm ClearView Energy Partners, as saying he doesn't expect the ruling to reinvigorate the industry: "It's more symbolic than substantive," he said. "All the court is saying is ... you need to go back to work and consider these applications. What does that really mean?" he said. Officials could still deny permits or bog applications down in lengthy reviews, he noted.
Read more of this story at Slashdot.
14 Dec 2025 8:44am GMT
Hacker News
Bye, Mom
14 Dec 2025 8:21am GMT
Slashdot
New Rule Forbids GNOME Shell Extensions Made Using AI-Generated Code
An anonymous reader shared this report from Phoronix: Due to the growing number of GNOME Shell extensions looking to appear on extensions.gnome.org that were generated using AI, it's now prohibited. The new rule in their guidelines note that AI-generated code will be explicitly rejected: "Extensions must not be AI-generated While it is not prohibited to use AI as a learning aid or a development tool (i.e. code completions), extension developers should be able to justify and explain the code they submit, within reason. Submissions with large amounts of unnecessary code, inconsistent code style, imaginary API usage, comments serving as LLM prompts, or other indications of AI-generated output will be rejected." In a blog post, GNOME developer Javad Rahmatzadeh explains that "Some devs are using AI without understanding the code..."
Read more of this story at Slashdot.
14 Dec 2025 5:34am GMT
Hacker News
Heavy metal is healing teens on the Blackfeet Nation
14 Dec 2025 3:46am GMT
Slashdot
Is the R Programming Language Surging in Popularity?
The R programming language "is sometimes frowned upon by 'traditional' software engineers," says the CEO of software quality services vendor Tiobe, "due to its unconventional syntax and limited scalability for large production systems." But he says it "continues to thrive at universities and in research-driven industries, and "for domain experts, it remains a powerful and elegant tool." Yet it's now gaining more popularity as statistics and large-scale data visualization become important (a trend he also sees reflected in the rise of Wolfram/Mathematica). That's according to December's edition of his TIOBE Index, which attempts to rank the popularity of programming languages based on search-engine results for courses, third-party vendors, and skilled engineers. InfoWorld explains: In the December 2025 index, published December 7, R ranks 10th with a 1.96% rating. R has cracked the Tiobe index's top 10 before, such as in April 2020 and July 2020, but not in recent years. The rival Pypl Popularity of Programming Language Index, meanwhile, has R ranked fifth this month with a 5.84% share. "Programming language R is known for fitting statisticians and data scientists like a glove," said Paul Jansen, CEO of software quality services vendor Tiobe, in a bulletin accompanying the December index... Although data science rival Python has eclipsed R in terms of general adoption, Jansen said R has carved out a solid and enduring niche, excelling at rapid experimentation, statistical modeling, and exploratory data analysis. "We have seen many Tiobe index top 10 entrants rising and falling," Jansen wrote. "It will be interesting to see whether R can maintain its current position." "Python remains ahead at 23.64%," notes TechRepublic, "while the familiar chase group behind it holds steady for the moment. The real movement comes deeper in the list, where SQL edges upward, R rises to the top 10, and Delphi/Object Pascal slips away... SQLclimbs from tenth to eighth at 2.10%, adding a small +0.11% that's enough to move it upward in a tightly packed section of the table. Perl holds ninth at 1.97%, strengthened by a +1.33% gain that extends its late-year resurgence." It's interesting to see how TIOBE's ranking compare with PYPL's (which ranks languages based solely on how often language tutorials are searched on Google): TIOBE PYPL Python Python C C/C++ C++ Objective-C Java Java C# R JavaScript JavaScript Visual Basic Swift SQL C# Perl PHP R Rust Despite their different methodologies, both lists put Python at #1, Java at #5, and JavaScript at #7.
Read more of this story at Slashdot.
14 Dec 2025 3:44am GMT
Hacker News
Lean theorem prover mathlib
14 Dec 2025 1:49am GMT
13 Dec 2025
Linuxiac
GNOME Will Reject Shell Extensions With AI-Generated Code

GNOME is tightening its extension review process after a surge in AI-generated submissions filled with unnecessary code and bad practices.
13 Dec 2025 10:12pm GMT
Ars Technica
Sharks and rays gain landmark protections as nations move to curb international trade
Gov'ts agree to ban or restrict international trade in shark meat, fins, and other products.
13 Dec 2025 12:00pm GMT
Linuxiac
KDE Plasma 6.6 Will Enhance Display Handling and Scaling on Wayland

The upcoming Plasma 6.6 release will add custom screen modes and much stronger screen mirroring support for Wayland sessions.
13 Dec 2025 8:18am GMT
12 Dec 2025
Ars Technica
OpenAI built an AI coding agent and uses it to improve the agent itself
"The vast majority of Codex is built by Codex," OpenAI told us about its new AI coding agent.
12 Dec 2025 10:16pm GMT
Reminder: Donate to win swag in our annual Charity Drive sweepstakes
Help raise a charity haul that's already past $11,000 in just a couple of days.
12 Dec 2025 9:35pm GMT
Linuxiac
NetworkManager 1.54.3 Improves Certificate Access Checks

NetworkManager 1.54.3 improves security by verifying user access to 802.1X certificates and keys used in private network connections.
12 Dec 2025 4:32pm GMT