Tootfinder

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.

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.
https://extremism.gwu.edu/patriot-front

Ze werd verdacht van overmatig botox gebruik maar dat bleek Parkinson te zijn. De laatste jaren heb ik haar ook niet meer gevolgd.
https://www.trouw.nl/binnenland/jerney-kaagman-1947-2026-was-een-frontvrouw-voor-alle-muzikanten~b2917…

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.

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 …

GitHub - FriendsOfREDAXO/redaxo-mit-docker: Anleitung für eine flexible Entwicklungsumgebung für REDAXO auf Basis von 🐳 Docker
Anleitung für eine flexible Entwicklungsumgebung für REDAXO auf Basis von 🐳 Docker - FriendsOfREDAXO/redaxo-mit-docker

«Wie Dateiformate digitale Abhängigkeiten schaffen:
Italo Vignoli von der Document Foundation erklärt, warum digitale Souveränität bei Dateiformaten beginnt und ODF proprietären Formaten überlegen ist»
Zu viele Firmen und Private glauben, dass das Format "wichtig" da es "alle das Selbe" nutzen und deswegen Software abhängig sei. Seit Jahren heften sich viele daran fest doch nun gibt es langsam eine Einsicht zur Microsoft Abhängigkeit.
📝

Wie Dateiformate digitale Abhängigkeiten schaffen
Italo Vignoli von der Document Foundation erklärt, warum digitale Souveränität bei Dateiformaten beginnt und ODF proprietären Formaten überlegen ist.

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

Formalizing Fermat's Last Theorem
Anthropic is an AI safety and research company that's working to build reliable, interpretable, and steerable AI systems.

And it fit in the margin of a book.
https://www.newscientist.com/article/2587839-fermats-last-theorem-formalised-by-ai-agents-in-just-11-days/?utm_id=97758_v0_s00_e0_tv4_a1demo0ecg7rma

Fermat's last theorem formalised by AI agents in just 11 days | New Scientist
Converting the proof of Fermat's last theorem into code that computers can check was expected to take years. Anthropic's Claude AI managed it in less than two weeks

Le Pen eller Bardella – på tisdagen avgörs det. https://www.dn.se/varlden/nu-avgors-framtiden-for-de-franska-hogernationalisterna/

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

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

Freundschaftsrabatt | Picnic
Picnic schenkt dir 15 €! Hol dir die App und verwende den Freundschaftsrabatt bei deiner ersten Bestellung.

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…

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.