Tootfinder

from my link log —
Formal methods: just good engineering practice?
https://brooker.co.za/blog/2024/04/17/formal.html
saved 2024-04-18 https://

This post gets regular inline updates:
https://adrianroselli.com/2024/04/what-you-can-do-as-a-web-builder-on-earth-day.html
Today I added a Nature article, the Web Sustainability Guidelines Impact Ratings, and the Carbon in Context calcula…

What You Can Do as a Web Builder on Earth Day
One easy thing you can do for the earth is not use “AI” tools. Consider this as a programmer, web developer, web designer, copywriter, webmaster, etc. The tools include anything branded as generative AI, LLMs, computer vision tools, Copilot, ChatGPT, Bard, Grok, Dall-e, Midjourney, and so on. If you are…

If true, this will be a fail at the first hurdle.
Burnham to announce plans for new North Sea oil and gas drilling - BBC News
#ClimateCollapse

Burnham to announce plans for new North Sea oil and gas drilling
Drilling has become a controversial topic for the Labour party after the 2024 manifesto pledged to not issue new licences.

I'm reading the Scottish Government's latest #Biodiversity Action Plan. A great deal of it is pure fantasy unless we also urgently tackle the #ClimateEmergency (which we are not doing) but the ambition is good.

Biodiversity: delivery plan 2024 to 2030
The first in a series of rolling Delivery Plans which form part of our Strategic Framework for Biodiversity, in conjunction with the Scottish Biodiversity Strategy. It includes actions needed to ensure we are on track to achieving the vision and outcomes in the Strategy.

Robert Reich, always on point. 🎯

A national poll released this week by The New York Times and Siena University found that Democrats entered the fall with an advantage of nearly nine percentage points over Republicans on the congressional ballot
— an edge similar to 2018, the last time there was a so-called blue wave.
“Republicans are panicking and are on the brink of losing the House, with the Senate not far behind,” Representative Hakeem Jeffries of New York, the minority leader, said in an interview.
But…

Who Will Win the Midterms? Republicans Are Reeling.
The party is putting up a costly defense of states and districts that President Trump won easily in 2024. And in places like Georgia, strategists wonder if it’s too late.

Source: Apple passed $10B in annual sales in India for the first time in FY 2026, up from $9B in 2024-25 and $6B in 2022-23, as it expands its retail footprint (Sankalp Phartiyal/Bloomberg)
https://www.bloomberg.com/news/articles/20

Less than two measly years ago, OpenAI and Microsoft agreed on a "novel" definition of AGI:
"The two companies reportedly signed an agreement last year stating OpenAI has only achieved AGI when it develops AI systems that can generate at least $100 billion in profits. That’s far from the rigorous technical and philosophical definition of AGI many expect."

Microsoft and OpenAI have a financial definition of AGI: Report | TechCrunch
Microsoft and OpenAI have a very specific, internal definition of artificial general intelligence (AGI) based on the startup's profits, according to a new

Jährlicher Zubau und Rückbau der #Windenergieleistung in #Deutschland. Stand: 30.06.2026.
Summen der Inbetriebnahmen und Stilllegungen pro Jahr.
Der Datenbestand enthält ggf. unplausible Datensätze.
👉 Zusatzlesestoff:

In what environmental advocates describe as
“another gift to the fossil fuel industry,”
🆘the Trump administration plans to end rules limiting the release of planet-heating emissions from power plants that burn coal and gas.
🔥Power plants are considered the largest industrial source of greenhouse gas emissions in the US and account for about a quarter of the nation’s climate pollution, according to the Environmental Protection Agency (EPA).
In 2024, the EPA under the B…

‘Actively malevolent’: Trump EPA to eviscerate rules on planet-heating pollution from power plants
“This is full-throated climate denial while the climate crisis happens in real time and a shocking betrayal of the American public.”

Browns' Watson ready to show 'I can still play in this league' https://www.espn.com/nfl/story/_/id/49881629/browns-deshaun-watson-set-first-start-2024-season

from my link log —
Concurrency vs paralellism.
https://www.tedinski.com/2018/10/16/concurrency-vs-parallelism.html
saved 2024-04-09

Concurrency vs parellism
The difference, and what is means to design for each.

RE: https://c.im/@cdarwin/117021215493505628
In September 2024,
billionaire hedge-fund owner John Paulson
— an adviser to the president and one of his biggest fundraisers
— gave an interview supporting Trump’s tariff proposals on CNBC.
“What …

Ich lass das hier mal so stehen
#nosvp #climatecrisis #globalwarming #klimakrise

Jährlicher Zubau und Rückbau von #Balkonsolarleistung in Deutschland mit Stand vom 29.06.2026.
Unplausible Inbetriebnahmedaten von 1900 bis 2017 wurden durch das Registrierungsdatum der #Steckersolaranlage ersetzt.
👉 Zusatzlesestoff:

Structure and Dynamics of the Inner #Corona Measured from the DEB Initiative 2024 #Eclipse Image Sequence: #CitizenScience and Solar Structure: https://aasnova.org/2026/08/03/featured-image-citizen-science-and-solar-structure/