Tootfinder

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

No exact results. Similar results found.
@heiseonline@social.heise.de
2026-09-06 20:16:04

Fermats letzter Satz: KI liefert maschinell geprüften Beweis
Anthropic hat nach eigenen Angaben erstmals eine vollständig computerverifizierte Fassung von Fermats letztem Satz vorgelegt – erstellt von Claude-Agenten.

Fermats letzter Satz: KI liefert maschinell geprüften Beweis
Anthropic hat nach eigenen Angaben erstmals eine vollständig computerverifizierte Fassung von Fermats letztem Satz vorgelegt – erstellt von Claude-Agenten.

@rasterweb@mastodon.social
2026-08-07 14:17:18

I was reminded today that this is the absolute best post/thread I've ever seen on the Fediverse.
beige.party/@Alice/11008383518

Alice McFlurry :bc: (@Alice@beige.party)
Over fifteen years ago, I decided to have a Tetris and Dr. Mario party and invited my friends and some coworkers. One of my coworkers said he couldn’t go because it was his best friend’s birthday party, but said that his best friend lived in the same city so he might try to stop by after. I jokingly said “bring your friends!” and didn’t think about it again. At some point during my party, long after I had annihilated all of my friends in Tetris, my coworker walked in with some of …

@cdarwin@c.im
2026-07-06 18:47:15

Patriot Front formed in 2017 under Thomas Rousseau after the
“Unite the Right” rally in Charlottesville, Va.
The group’s manifesto calls for the formation of a white ethnostate.
extremism.gwu.edu/patriot-front

@roelgrif@mstdn.social
2026-08-06 18:58:04

Ze werd verdacht van overmatig botox gebruik maar dat bleek Parkinson te zijn. De laatste jaren heb ik haar ook niet meer gevolgd.
trouw.nl/binnenland/jerney-kaa

Jerney Kaagman (1947-2026) was een frontvrouw voor alle muzikanten
Nederland kende Jerney Kaagman als de stoïcijnse frontvrouw van Earth & Fire en later als streng jurylid van talentenjacht Idols. Maar bovenal vocht ze voor de rechten van muzikanten.

@macandi@social.heise.de
2026-07-08 06:03:04

heise | Consul für macOS im Test: Der Formatwandler
Die Mac-App Consul konvertiert Dateiformate durch bloßes Ändern des Namens.
heise.de/tests/Consul-fuer-mac

Consul für macOS im Test: Der Formatwandler
Die Mac-App Consul konvertiert Dateiformate durch bloßes Ändern des Namens.

@elduvelle@neuromatch.social
2026-09-07 23:54:46

🤔
"Grève et fermeture de la tour Eiffel après l’éviction du personnel féminin lors de la visite d’une délégation hindoue"
lemonde.fr/societe/article/202

Grève et fermeture de la tour Eiffel après l’éviction du personnel féminin lors de la visite d’une délégation hindoue
De son côté, la société d’exploitation de la tour Eiffel a déclaré que le groupe hindou avait demandé que la visite soit organisée en limitant les « interactions avec les femmes » et reconnu que « ces conditions n’auraient pas dû être acceptées ».

@heiseonline@social.heise.de
2026-09-07 05:15:11

Noch ein paar der zuletzt hier besonders häufig geteilten #News:
Fermats letzter Satz: KI liefert maschinell geprüften Beweis

13 Millionen Zeilen Code: KI verifiziert Beweis von Fermats letztem Satz
Anthropic hat nach eigenen Angaben erstmals eine vollständig computerverifizierte Fassung von Fermats letztem Satz vorgelegt – erstellt von Claude-Agenten.

@erikdelareguera@mastodon.nu
2026-07-06 06:59:59

Le Pen eller Bardella – på tisdagen avgörs det. dn.se/varlden/nu-avgors-framti

Marine Le Pen eller Jordan Bardella – nu avgörs vem som blir presidentkandidat
Marine Le Pen eller Jordan Bardella – nu avgörs vem som blir presidentkandidat för Nationell samling i Frankrike

@totientfunction@mathstodon.xyz
2026-09-07 20:28:13

From my hike in Carinthia two weeks ago
#hiking #Carinthia #Kärnten

Thick mist in the woods. Only a few outlines of trees are visible, with long trunks, ragged, with branches only on their upper half. If focusing, a pathway can be recognized a bit further downhill. In front are some bushes with lush dark green leaves and a tree trunk on the right.
In front, diagonally upwards is a hill with some bright orange-brownish and light green grasses, with a tree trunk and some dead wood in between. This is contrasted by the background with swathes of mist in between darker pale green trees on hills.
Dark green trees on hills and mountains with the sun shining from behind some clouds, that are covering part of the mountain and parts of the sky. In front is a dry meadow, going downhill.
View towards the north of Carinthia. The sky is full of clouds, with some bright white parts in between greyer areas. In front are hills covered by trees and a meadow on the middle hill. Further back is lower with some villages and forests. In the very back there's mountains again, in a bluish tint.
@heiseonline@social.heise.de
2026-07-07 20:24:04

Bericht: Peking prüft Einschränkung des Zugangs zu Chinas führenden KI-Modellen
Der Zugriff auf Chinas fortschrittlichste KI-Modelle könnte schwieriger werden. Die Regierung in Peking diskutierte mit KI-Unternehmen mögliche Beschränkungen.

Bericht: Peking prüft Einschränkung des Zugangs zu Chinas führenden KI-Modellen
Der Zugriff auf Chinas fortschrittlichste KI-Modelle könnte schwieriger werden. Die Regierung in Peking diskutierte mit KI-Unternehmen mögliche Beschränkungen.