Tootfinder

🇺🇦 #NowPlaying on KEXP's #DriveTime
Hand Habits:
🎵 Wheel of Change
#HandHabits
https://handhabits.bandcamp.com/track/wheel-of-change
https://open.spotify.com/track/3Pt9wTo0ls4aSGg7EtWh7w

The condensed homotopy type of a scheme
Peter J. Haine, Tim Holzschuh, Marcin Lara, Catrin Mair, Louis Martini, Sebastian Wolf with an appendix by Bogdan Zavyalov
https://arxiv.org/abs/2510.07443

The condensed homotopy type of a scheme
We study a condensed version of the étale homotopy type of a scheme, which refines both the usual étale homotopy type of Friedlander-Artin-Mazur and the proétale fundamental group of Bhatt-Scholze. In the first part of this paper, we prove that this condensed homotopy type satisfies descent along integral morphisms and that the expected fiber sequences hold. We also provide explicit computations, for example, for rings of continuous functions. A key ingredient in many of our arguments is a d…

Universal constructions in homotopical algebra
Ricardo Campos, Bruno Vallette
https://arxiv.org/abs/2510.06941 https://arxiv.org/pdf/2510.06941

Universal constructions in homotopical algebra
We apply the effective integration theory of Lie-graph algebras, developed recently by the authors, to the deformation and homotopy theories of types of bialgebras, that is structures controlled by a properad, like associative bialgebras, (involutive) Lie bialgebras, Frobenius bialgebras, double Poisson bialgebras, pre-Calabi--Yau algebras, quantum Airy structures, etc. In these cases, we provide their associated Deligne groupoid with an explicit homotopical description. We settle the Koszul hi…

The homotopy type of the Poincar\'e cobordism category for surfaces
Az\'elie Picot
https://arxiv.org/abs/2510.07659 https://arxiv.org/pdf/2510.0765…

The homotopy type of the Poincaré cobordism category for surfaces
We define a version of the surface cobordism category $\mathrm{Cob}_2^{\mathrm{SG}}(X)$ over a base space $X$ where surfaces are considered up to self homotopy equivalences instead of diffeomorphisms. We prove the induced functor $B\mathrm{Cob}_2^{\mathrm{SG}}(-): \mathcal{S} \rightarrow \mathcal{S}$ is not $1$-excisive. We show its first derivative $\partial_1 B\mathrm{Cob}_2^{\mathrm{SG}}(-)$ in the Goodwillie sense is equivalent to a Thom spectrum over $B\mathrm{haut}_*^+(S^2)$.

"Voice commands" have been embedded into our vision of computing for a long time: Star Trek did it and it does the whole anthropomorphization thing that tech loves.
But from a practical standpoint it's a bad interface: Think of a handful of people sitting in an office yelling at their computers, it would be like working next to people having loud phone calls all day.
And who exactly wants every thing they do with their computer broadcasted around them?

A Deep Q-Network based power control mechanism to Minimize RLF driven Handover Failure in 5G Network
Kotha Kartheek, Shankar K. Ghosh, Megha Iyengar, Vinod Sharma, Souvik Deb
https://arxiv.org/abs/2510.05762

A Deep Q-Network based power control mechanism to Minimize RLF driven Handover Failure in 5G Network
The impact of Radio link failure (RLF) has been largely ignored in designing handover algorithms, although RLF is a major contributor towards causing handover failure (HF). RLF can cause HF if it is detected during an ongoing handover. The objective of this work is to propose an efficient power control mechanism based on Deep Q-Network (DQN), considering handover parameters (i.e., time-to-preparation, time-to-execute, preparation offset, execution offset) and radio link monitoring parameters (T…

Crater Lake this June, as seen from the parking lot of the Crater Lake National Park visitor center, which was still half-buried in snow
#naturalist

This is so weird. I mean, I do think Times New Roman is one of a handful of correct choices for professional communication, and I do just _hate_ Calibri, but I don't understand what either font has to do with DEI.
https://www.huffpost.com/entry/rubio-font-

Rubio Stages Font Coup: Times New Roman Ousts Calibri
The secretary of state called it a "wasteful" diversity move, according to an internal department cable seen by Reuters.

Replaced article(s) found for math.CT. https://arxiv.org/list/math.CT/new
[1/1]:
- Homotopy type theory as a language for diagrams of $\infty$-logoses
Taichi Uemura

Homotopy theory of simplicial parametrized operads
Gregoire Marc
https://arxiv.org/abs/2510.06932 https://arxiv.org/pdf/2510.06932

Homotopy theory of simplicial parametrized operads
We define a generalization of (coloured) operads based on double lax functors and we construct a model structure on the associated category of generalized simplicial (coloured) operads. In particular, we obtain a model structure on the category of simplicial (coloured) O-operads of Nardin and Shah.