Tootfinder

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

No exact results. Similar results found.
@poppastring@dotnet.social
2026-10-08 01:47:56

OpenAI apparently put roughly 10,000 agents on the task, 88 hours of reasoning, 130 billion output tokens. Then spent another 17 hours to validate the result in Lean, a proof assistant that mechanically checks every logical step. Estimated compute cost: somewhere between $15 million and $22 million!
poppastr…

The Unread Proof
OpenAI spent $15 million proving the wrong version of the Navier-Stokes problem, in a document dense enough that reading it may itself require an AI. ...

@jacobgudiol@mastodonsweden.se
2026-10-07 12:30:56

Cykel är en bra grej 👍
If we all cycled like the Dutch, CO2 emissions would drop by 690 million tonnes
euronews.com/2023/06/03/on-you

Cycling like the Dutch would slash the world’s carbon footprint 
If everybody cycled like the Dutch, we could offset the UK or Australia’s entire carbon footprint.

@stefanlaser@social.tchncs.de
2026-09-07 08:12:49

Mal ein Blick zurück: Intel, das war erst der Anfang, womöglich war der Abzug ein Kipppunkt – nach der Treuhand, Hartz und Inflationskrisen hätte die Transformation in #Sachsen-Anhalt mal anders laufen können.
Ist sie aber nicht. Jetzt, nach der #Wahl, werden noch ein paar andere Dinger einschl…

@heiseonline@social.heise.de
2026-10-30 11:41:03

Für 17 Milliarden US-Dollar: DoorDash übernimmt Shopping-Lieferdienst Instacart
DoorDash verdient sein Geld primär mit Essenslieferungen. Für 17 Milliarden US-Dollar übernimmt der US-Konzern nun den Einzelhandelsspezialisten Instacart.

Für 17 Milliarden US-Dollar: DoorDash übernimmt Shopping-Lieferdienst Instacart
DoorDash verdient sein Geld primär mit Essenslieferungen. Für 17 Milliarden US-Dollar übernimmt der US-Konzern nun den Einzelhandelsspezialisten Instacart.

@macandi@social.heise.de
2026-10-26 08:03:03

Tipp: Was tun, wenn Apple Mail fremde E-Mail-Adressen vorschlägt?
Es kommt vor, dass Apples Mail-App merkwürdige Adressen für neue E-Mails anzeigt. Das steckt dahinter.

Tipp: Was tun, wenn Apple Mail fremde E-Mail-Adressen vorschlägt?
Es kommt vor, dass Apples Mail-App merkwürdige Adressen für neue E-Mails anzeigt. Das steckt dahinter.

@jae@mastodon.me.uk
2026-09-07 00:12:53

Greetings from 3,000 miles above the pond on my way to the U.K. How are things?

@dariaphoebe@mindly.social
2026-10-06 12:56:05

Pawpaw spice muffins with egg bacon tea coffee. Soccer Mommy/Snail Mail was great last night, tonight we play mahjong and then it’s on to Pittsburgh. #TogetherBreakfast photos.app.goo.gl/41ZvoqKJK8Jq

@StephenRees@mas.to
2026-10-07 18:20:17

Today in The Conversation Canada, Jeremy Wildeman of Carleton University and Aisha Ahmad of the University of Toronto explain that while a U.S. military strike on its northern neighbour sounds like an extreme “tail-risk” scenario, Prime Minister Mark Carney and top defence officials aren’t taking any chances. With the Canadian Armed Forces expanding reserve forces to 400,000 for homeland defence, Ottawa is actively scenario-planning for the unthinkable.
From Ukraine’s high-tech asymmet…

How Canada could defend itself against an American invasion
Beyond Donald Trump’s anti-Canada rhetoric, there are many material and geo-strategic reasons why Canada must take his threats to Canadian sovereignty very seriously.

@audiodump@podcasts.social
2026-10-07 19:50:36

ad238 (Redaktionskonferenz)
audiodump.de/2026/10/07/ad238-
Please boost! 🚀

ad238 (Redaktionskonferenz) -
ad238-redaktionskonferenz ad238 (Redaktionskonferenz) Malik Ben

@heiseonline@social.heise.de
2026-10-30 14:03:03

KI-Update kompakt: Mistral ML4, Cohere, KI-Empfehlungen, KI klont Indie-Spiele
Das „KI-Update“ liefert drei mal pro Woche eine Zusammenfassung der wichtigsten KI-Entwicklungen.
…

KI-Update kompakt: Mistral ML4, Cohere, KI-Empfehlungen, KI klont Indie-Spiele
Das „KI-Update“ liefert drei mal pro Woche eine Zusammenfassung der wichtigsten KI-Entwicklungen.