Tootfinder

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

No exact results. Similar results found.
@NFL@darktundra.xyz
2026-02-18 18:40:55

Super Bowl champion Seahawks announce franchise has begun formal sale process nfl.com/news/super-bowl-champi

Super Bowl champion Seahawks announce franchise has begun formal sale process
The Super Bowl champion Seattle Seahawks announced on Wednesday that the Paul G. Allen estate has "commenced a formal sale process" for the franchise. 

@heiseonline@social.heise.de
2026-02-18 04:15:00

Wordpress hat jetzt einen KI-Assistenten für Änderungen von Layout und Inhalten
Nutzer von Wordpress.com können Websites nun in natürlicher Sprache anpassen. Der KI-Assistent erstellt Bilder, hilft bei Layout-Anpassungen und Formulierungen.

Wordpress hat jetzt einen KI-Assistenten für Änderungen von Layout und Inhalten
Nutzer von Wordpress.com können Websites nun in natürlicher Sprache anpassen. Der KI-Assistent erstellt Bilder, hilft bei Layout-Anpassungen und Formulierungen.

@Tupp_ed@mastodon.ie
2026-01-19 07:27:14

Now for ye.
This formal criminal complaint from FG TD Barry Ward BL makes the case against X very clearly.
pastebin.com/cdEVuLqA

Richard Chambers • @newschambers.bsky.social Fine Gael TD and barrister Barry Ward has written to Gardaí issuing a formal complaint against X and its linked companies "in the anticipation that you will investigate it fully and transmit a file to the Director of Public Prosecutions without delay." Full text
@shriramk@mastodon.social
2026-03-18 15:06:17

@…: "I formalised and proved the correctness of Move’s new borrow checker in Lean: 39,000 lines of mechanised metatheory, produced in under a month with the help of an AI coding assistant. This post tells the story of how it went and what it means for the future of PL research."

Verifying Move Borrow Checker in Lean: an Experiment in AI-Assisted PL Metatheory
I formalised and proved the correctness of Move’s new borrow checker in Lean: 39,000 lines of mechanised metatheory, produced in under a month with the help of an AI coding assistant. This post tells the story of how it went and what it means for the future of PL research.

@krone@frawas.de
2026-02-19 08:40:14

Ärger um Motor - Formel 1: Wenn der Liter-Preis auf 275 Euro steigt #News #Nachrichten

Ärger um Motor - Formel 1: Wenn der Liter-Preis auf 275 Euro steigt
Teure Angelegenheit! Der Sprit für die neuen Formel-1-Autos kostet rund 275 Euro pro Liter. Bei den Mercedes-Motoren herrscht noch Unklarheit. ...

@NFL@darktundra.xyz
2026-02-18 17:01:42

Fornelli's 2026 NFL mock draft 1.0: Two first-round QBs, surprise WR1 headline class light on elite talent

cbssports.com/nfl/draft/news/2

Fornelli's 2026 NFL mock draft 1.0: Two first-round QBs, surprise WR1 headline class light on elite talent
Could teams approach this draft differently with few star prospects at premium positions?

@yaxu@post.lurk.org
2026-01-19 11:59:59

"On being formal: communal informatics, khipu technologies, extractivism, and debt."
Research workshop of the Epistemic Media Research Group (Institute for Music and Media) with @…, @…,

Montage of knotted strands of Andean khipu and diagrams of Cornish mines
@cdarwin@c.im
2026-03-16 15:27:27

Trump ‌will sign an executive order on Monday to formally launch a task force, led by JD Vance, to "prove" election fraud nationwide
Trump and Vance are scheduled to sign the ⁠order at 3:30 p.m. Eastern Time at the White House, according to the president's schedule

@heiseonline@social.heise.de
2026-02-17 11:51:00

EU-Kommission: Shein unterschätzt eigene Risiken
Die EU-Kommission hat eine formale Untersuchung gegen den chinesischen Onlinehändler Shein eingeleitet. Der Anbieter könnte seine Pflichten verletzt haben.

EU-Kommission: Shein unterschätzt eigene Risiken
Die EU-Kommission hat eine formale Untersuchung gegen den chinesischen Onlinehändler Shein eingeleitet. Der Anbieter könnte seine Pflichten verletzt haben.

@NFL@darktundra.xyz
2026-03-18 18:11:24

Fornelli's 2026 NFL mock draft 3.0: Cardinals trade out of top 5 as teams eye potentially elite 2027 QB class

cbssports.com/nfl/draft/news/2

Fornelli's 2026 NFL mock draft 3.0: Cardinals trade out of top 5 as teams eye potentially elite 2027 QB class
Free agency was supposed to clarify things. It didn't. Teams are still guessing -- and so is this mock.