@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
@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…
@gse@norden.social2026-07-05 17:27:03
Hab hier für alle die gerne mal #Redaxo CMS ausprobrieren wollen, ein Projekt mit REdaxo in einen Docker-Container ;D
https://github.com/FriendsOfREDAXO/redaxo-mit-docker
Und …
@ddrake@mathstodon.xyz2026-09-04 22:37:02
@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:
@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" — @…
@frankb1274@mastodon.social2026-08-05 16:33:55
Hast du Picnic schon ausprobiert? Benutze meinen Code FRANKP28 bei deiner ersten Bestellung und du bekommst 15 Euro Rabatt :)
Liebe Grüße, Frank-Peter Böschen
Hast du die Picnic-App noch nicht? Lade sie hier herunter: https://picnic.app/de/freunde-rabatt/FRANKP28
@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-08-05 09:06:03
Samsungs HDR10 Advanced startet diesen Monat auf Amazon Prime Video
Mit HDR10 Advanced führt Samsung die nächste Generation seines HDR-Formats ein. Prime Video macht diesen Monat den Anfang.
https://ww…
@heiseonline@social.heise.de2026-08-06 05:07:03
Auch KI von Meta hackte sich in eine andere Firma
Nach OpenAI und Anthropic räumt nun auch Meta ein, dass sich eigene KI-Software in fremde Systeme gehackt hat.
https://www.heise.de/news/Auch…
