Tootfinder

Heimatflimmern : Schimanskis Ruhrort: Duisburgs schönste Insel - #ardmediathek
https://www.

Meine Freundin, die wegen #MECFS bettlägrig ist, hat mir zwei Hinweise geschickt.
Für Medizinmenschen ein Fachbuch: https://www.hogrefe.com/de/shop/das-handbuch-me-cfs-99570.html

Das Handbuch ME/CFS - 2025 - Patientenzentrierte Versorgung und interprofessionelle Handlungsempfehlungen | Hogrefe
Ärzt*innen verschiedenster Fachrichtungen, Mitglieder von Ärzteverbänden und der ärztlichen Selbstverwaltung, Beschäftigte im Bereich der Rehabilitation, Personen aus der Pflege und Gesundheitsfachberufen, ME/CFS-Erkrankte und ihre Angehörigen.Die Myalgis

Non-Standard Models of Homotopy Type Theory
Nima Rasekh
https://arxiv.org/abs/2508.07736 https://arxiv.org/pdf/2508.07736

Non-Standard Models of Homotopy Type Theory
Homotopy type theory is a modern foundation for mathematics that introduces the univalence axiom and is particularly suitable for the study of homotopical mathematics and its formalization via proof assistants. In order to better comprehend the mathematical implications of homotopy type theory, a variety of models have been constructed and studied. Here a model is understood as a model category with suitable properties implementing the various type theoretical constructors and axioms. A first e…

heise | Foto-Sync-Speicher selber bauen mit Raspi und Syncthing
Keine Zeit und keine Lust, nur für ein paar Handyfotos eine eigene Nextcloud einzurichten? Mit Syncthing und einem egal wie alten Raspi gehts im Handumdrehen.

Homotopy Iterators
Paul Breiding, Taylor Brysiewicz, Hannah Friedman
https://arxiv.org/abs/2509.08084 https://arxiv.org/pdf/2509.08084

Homotopy Iterators
We introduce the concept of homotopy iterators for performing polynomial homotopy continuation tasks in a memory efficient manner. The main idea is to push forward an iterator for the start solutions of a homotopy via the function which tracks them along the homotopy. Doing so produces a representation of the target solutions, bypassing the need to hold all solutions in memory. We discuss several applications of this datatype ranging from solution counting to data compression.

GPT-5 zu unfreundlich: OpenAI setzt wieder auf 4o als Standardmodell
Nach einer Woche GPT-5 reagiert OpenAI auf Kritik: Zahlende Nutzer erhalten 4o als Standard zurück. Das Routing von GPT-5 geht jetzt auch im Handbetrieb.

🇺🇦 #NowPlaying on KEXP's #Audioasis
Little Venom:
🎵 Taste
#LittleVenom
https://littlevenom.bandcamp.com/track/taste
https://open.spotify.com/track/7hmTBcVgnn9jxPUq1SuNBK

Homotopy classification of $4$-manifolds with $3$-manifold fundamental group
Jonathan Hillman, Daniel Kasprowski, Mark Powell, Arunima Ray
https://arxiv.org/abs/2508.07504 https…

Homotopy classification of $4$-manifolds with $3$-manifold fundamental group
We give a criterion on a group $π$ and a homomorphism $w \colon π\to C_2$ under which closed $4$-manifolds with fundamental group $π$ and orientation character $w$ are classified up to homotopy equivalence by their quadratic $2$-types. We verify the criterion for a large class of $3$-manifold groups and orientation characters, in particular for the fundamental group $π$ of any closed, orientable $3$-manifold whose finite subgroups are cyclic, provided $w$ vanishes on every element of $π$ o…

Most of the returnees declined to talk to reporters as they were whisked away by their families.
A handful answered questions, providing the first accounts of what had happened from the perspective of those who had been detained.
Two of them described hearing about the raid before it happened.
Some said they had gone to the United States on a visa waiver program or had traveled on a business visa,
and expressed confusion about why they had been detained.
The …

Freed South Korean Workers Return From the U.S. to Tearful Cheers
The workers, whose detention in a workplace immigration sweep set off outrage in South Korea, expressed both relief and anger.

Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
Nima Rasekh
https://arxiv.org/abs/2508.07737 https://arxiv.org/pdf/25…

Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
$\infty$-category theory was originally developed in the context of classical homotopy theory using standard set theoretical assumptions, but has since been extended to a variety of mathematical foundations. One such successful effort, primarily due to Martini and Wolf, introduced a theory of $\infty$-categories internal to the foundation of an arbitrary Grothendieck $\infty$-topos, meaning they used categorical foundations. Another approach, due to Riehl and Shulman, developed a theory of $\in…