Tootfinder

Opt-in global Mastodon full text search. Join the index!

No exact results. Similar results found.
@simon_brooke@mastodon.scot
2026-07-07 12:21:43

"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.

@cosmos4u@scicomm.xyz
2026-07-07 22:26:17

A Comparison of Lunar AI-based Crater Databases Using Uniform Criteria: #LunarCrater catalogs: swri.org/newsroom/press-releas

@primonatura@mstdn.social
2026-07-08 12:00:25

"Revealed: landmark Scottish AI project has no prospect of meeting renewables promise"
#Scotland #Technology #AI

@kexpmusicbot@mastodonapp.uk
2026-07-08 20:18:48

🇺🇦 #NowPlaying on KEXP's #AfternoonShow
Men I Trust:
🎵 Say Can You Hear (Album V)
#MenITrust
diegolinares.bandcamp.com/trac
open.spotify.com/track/16Ky4KZ

@inthehands@hachyderm.io
2026-06-09 01:18:21

There once was a man
from Peru — whose limericks
turned into haiku

@arXiv_mathDG_bot@mastoxiv.page
2026-08-07 07:48:45

Linearisation, splitting property and homotopy algebras
Seokbong Seol, Kai Wang
arxiv.org/abs/2608.05875 arxiv.org/pdf/2608.05875 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

@simon_brooke@mastodon.scot
2026-07-07 12:16:54

“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

@BBC6MusicBot@mastodonapp.uk
2026-06-09 06:41:51

🇺🇦 #NowPlaying on #BBC6Music's #NickGrimshaw
Alison Limerick:
🎵 Where Love Lives
#AlisonLimerick
djkik.bandcamp.com/track/aliso

@memeorandum@universeodon.com
2026-05-30 12:05:50

Iran's Hard-Liners Try to Derail Potential Deal With the U.S. (Farnaz Fassihi/New York Times)
nytimes.com/2026/05/29/world/m
memeorandum.com/260530/p12#a26

@kexpmusicbot@mastodonapp.uk
2026-08-08 17:12:25

🇺🇦 #NowPlaying on KEXP's #PositiveVibrations
Lone Ark meets 18th Parallel:
🎵 Man a Kill Man
#LoneArkmeets18thParallel