Tootfinder

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.

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

foursquare_friendships: Foursquare global friendships (2013)
A network of user friendships on Foursquare, from April 2012 to September 2013. The 'old' and 'new' dataset correspond to two snapshots taken before and after the check-in data collection period.
This network has 114324 nodes and 607333 edges.
Tags: Social, Online, Unweighted

Former Trump administration official Ty Cobb spoke at length Saturday about what he described as Donald Trump’s “frontal lobe illness,”
the “signals” of which were evident when comparing his behavior between administrations.
“He’s always been a malignant narcissist,
but that narcissism now has no frontal lobe restraints,” Cobb said,
speaking to former MSNBC host Mehdi Hasan in a video published Saturday by Zeteo.

‘The decline is real’: Ex-Trump official spills on president’s ‘frontal lobe illness’
Former Trump administration official Ty Cobb spoke at length Saturday about what he described as President Donald Trump’s “frontal lobe illness,” the “signals” of which were evident when comparing his behavior between administrations.“He’s always been a malignant narcissist, but that narcissism now ...

heise | Consul für macOS im Test: Der Formatwandler
Die Mac-App Consul konvertiert Dateiformate durch bloßes Ändern des Namens.
https://www.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.

🤔
"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"
https://www.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 ».

"Brazil’s expanding offshore oil frontier puts biodiversity at risk: study"
#Brazil #Biodiversity

Brazil’s expanding offshore oil frontier puts biodiversity at risk: study
In late August 2019, fishing communities along the northeast coast of Brazil reported black oily stains washing up on beaches, with crude clumping between the roots of mangroves, on the shells of turtles and on growing numbers of beached fish. The origin of the spill was never confirmed: Then-president Jair Bolsonaro first blamed a Venezuelan […]

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.

dutch_school: Dutch school friendships (2003)
A series of snapshots of the friendships among freshmen at secondary school in The Netherlands, in 2003-2004. Friendship ties were surveyed four times, at three month intervals. The direction of an edge indicates that student i is friends with student j. Missing data is coded as 0 or 10. Metadata includes sex, age, ethnicity, and religion.
This network has 26 nodes and 170 edges.
Tags: Social, Offline, Unweighted, Metadata, Temp…

heise | Streaming-Kosten sparen mit Account-Sharing: Sharesub im Praxistest
Streaming wird immer teurer. Ein geteiltes Familienabo mit Fremden verspricht Abhilfe. Wir haben Sharesub ausprobiert und beleuchten die rechtliche Grauzone.

Streaming-Kosten sparen mit Account-Sharing: Sharesub im Praxistest
Streaming wird immer teurer. Ein geteiltes Familienabo mit Fremden verspricht Abhilfe. Wir haben Sharesub ausprobiert und beleuchten die rechtliche Grauzone.