"DataVita, the Lanarkshire complex’s developer, says it will power the site in Airdrie with more than 1GW of renewable energy, including 400MW of solar power and 800MW of wind. This is more than one and half times the wind energy produced by Whitelee, the UK’s largest onshore windfarm... It is roughly the power needed to supply 800,000 Scottish homes."
The total number of homes (i.e. occupied dwellings) in Scotland is about 2.5 million.
A Comparison of Lunar AI-based Crater Databases Using Uniform Criteria: #LunarCrater catalogs: https://www.swri.org/newsroom/press-releases/swri-study-discovers-discrepancies-ai-lunar-crater-catalogs
"Revealed: landmark Scottish AI project has no prospect of meeting renewables promise"
#Scotland #Technology #AI
🇺🇦 #NowPlaying on KEXP's #AfternoonShow
Men I Trust:
🎵 Say Can You Hear (Album V)
#MenITrust
https://diegolinares.bandcamp.com/track/men-i-trust-say-can-you-hear-diego-linares-edit
https://open.spotify.com/track/16Ky4KZFBlAnFzsgQOn5MT
There once was a man
from Peru — whose limericks
turned into haiku
Linearisation, splitting property and homotopy algebras
Seokbong Seol, Kai Wang
https://arxiv.org/abs/2608.05875 https://arxiv.org/pdf/2608.05875 https://arxiv.org/html/2608.05875
arXiv:2608.05875v1 Announce Type: new
Abstract: In this paper, we study the formal linearisation problem for vector fields in the framework of graded coalgebras. We prove that a formal vector field is linearisable if and only if it satisfies a splitting property, by providing an explicit recursive construction of the isomorphism that linearises it. This criterion yields a streamlined proof of Basto-Gon\c{c}alves' theorem on admissible resonant vector fields. We also establish a corresponding splitting criterion for morphisms of formal manifolds, proving that a morphism is linearisable if and only if it satisfies this property. Furthermore, we obtain an elementary and explicit proof of Bandiera's characterisation of linearisable (equivalently, homotopy abelian) $L_\infty[1]$ algebras. Finally, we extend this framework to $A_\infty[1]$ algebras, showing that their linearisability is similarly characterised by an analogous splitting property.
toXiv_bot_toot
“There doesn’t seem to be appropriate scrutiny, public or otherwise, on these nationally significant projects. The figures and designs behind many schemes are at best indicative, and at worst complete bunk.”
#GenAI
#DataCentres
🇺🇦 #NowPlaying on #BBC6Music's #NickGrimshaw
Alison Limerick:
🎵 Where Love Lives
#AlisonLimerick
https://djkik.bandcamp.com/track/alison-limerick-where-love-lives-dj-kik-review-2012
Iran's Hard-Liners Try to Derail Potential Deal With the U.S. (Farnaz Fassihi/New York Times)
https://www.nytimes.com/2026/05/29/world/middleeast/irans-hard-liners-deal.html
http://www.memeorandum.com/260530/p12#a260530p12
🇺🇦 #NowPlaying on KEXP's #PositiveVibrations
Lone Ark meets 18th Parallel:
🎵 Man a Kill Man
#LoneArkmeets18thParallel