@Techmeme@techhub.social2026-09-04 20:35:57
Anthropic says Claude worked "largely autonomously" over 11 days to formalize the proof of Fermat's Last Theorem in the Lean programming language (Anthropic)
https://www.anthropic.com/research/formalizing-fermats-last-theorem
@publicvoit@graz.social2026-08-03 10:10:52
Waren gestern in einem asiatischen Restaurant in #Graz.
Deren Weinkühler war auf #Farenheit konfiguriert, was mich wegen der geringen Verbreitung dieser obskuren Skala doch erstaunt hat:
@netzschleuder@social.skewed.de2026-09-03 15:00:04
facebook_friends: Maier Facebook friends (2014)
A small anonymized Facebook ego network, from April 2014. Nodes are Facebook profiles, and an edge exists if the two profiles are "friends" on Facebook. Metadata gives the social context for the relationship between ego and alter.
This network has 362 nodes and 1988 edges.
Tags: Social, Online, Unweighted, Metadata
@holger_moller@bildung.social2026-07-04 13:32:34
"Es scheint paradox: Viele Männer sehnen sich nach emotionalem Austausch, können das aber in ihren Freundschaften miteinander nicht leisten. Auch mein Partner konnte mit männlichen Freunden, die er teilweise schon seit der Schule kannte, nie so eine Nähe aufbauen, wie er das jetzt mit seinen Studienfreundinnen hat."
Miriam Ratmann schreibt darüber, dass eigentlich alle Männer von Freundschaften mit Frauen profitieren könnten - sogar für ihre Männerfreundschaften.
🎁 Link…
@simon_brooke@mastodon.scot2026-07-04 13:18:45
"Before the war, beads were my sanctuary. I used to weave them into bracelets and charms—small, colorful tokens of love for my friends and teachers. Each bead held a piece of our laughter, a shared secret, and a promise that we would always be together.
But today, those classroom seats are empty. Many of my dear friends are no longer with us. They are gone, but their presence still lingers—a soft, painful echo circling my soul" — @…
@gse@norden.social2026-07-03 12:18:30
weiss jemand was das hier bei #Joplin bedeutet ?
https://friendpaste.com/7PO9mhLWa3UlAKhhFkDYsk
Nachtrag:
Hat sich erledigt, hab einfach die Notiz, die Probleme machte, gelösch…
@cdarwin@c.im2026-07-04 19:46:15
Happy #BlackHistoryMonth !
You know the drill by now. I don't like talking about Black history. Americans know Black history.
I want to talk about white American history. In other words, racism, and the erasure of both positive achievements of, and injustices suffered by, non-white people.
That's what people don't know.
Try this: Ask your white US friends wha…
@heiseonline@social.heise.de2026-07-03 10:59:00
@netzschleuder@social.skewed.de2026-08-03 16:00:05
residence_hall: ANU Residence Hall network
A network of friendships among students living in a residence hall at Australian National University (date unknown). Edge direction indicates that resident i named resident j as a friend, and edge weight indicates the level of friendship: 5 (best friend), 4 (close friend), 3 (friend), 2, 1.
This network has 217 nodes and 2672 edges.
Tags: Social, Offline, Weighted
@heiseonline@social.heise.de2026-09-03 09:15:05
