Tootfinder

DirecTV strikes a distribution agreement with Paramount Global, and unveils a $20/month MyKids plan with content from Paramount, Disney, WBD, and more (Matthew Keys/TheDesk.net)
https://thedesk.net/2025/06/directv-mykids-plan-paramount-global-channels/…

DirecTV launches kid-focused plan after integrating Paramount-owned channels into genre packs
CBS-owned broadcast stations and cable networks like MTV, Paramount Network, Comedy Central and Nickelodeon are joining DirecTV's streaming genre-based packages.

Ah fuck, people are using LLMs for kernel code. They really are going to fuck over everything, aren't they?
https://lwn.net/SubscriberLink/1026558/9f3079fb392c4a9a/

Extra big 3am kitty came by a few nights ago. California Mountain Lions are 100lbs or so. #Caturday https://loops.video/v/9M52GtXRqT

This https://arxiv.org/abs/2406.14346 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Atomic Toposes with Co-Well-Founded Categories of Atoms
The atoms of the Schanuel topos can be described as the pairs $(n,G)$ where $n$ is a finite set and $G$ is a subgroup of $\operatorname{Aut}(n)$. We give a general criterion on an atomic site ensuring that the atoms of the topos of sheaves on that site can be described in a similar fashion. We deduce that these toposes are locally finitely presentable. By applying this to the Malitz-Gregory atomic topos, we obtain a counter-example to the conjecture that every locally finitely presentable topos…

Why Robots Are Bad at Detecting Their Mistakes: Limitations of Miscommunication Detection in Human-Robot Dialogue
Ruben Janssens, Jens De Bock, Sofie Labat, Eva Verhelst, Veronique Hoste, Tony Belpaeme
https://arxiv.org/abs/2506.20268

Why Robots Are Bad at Detecting Their Mistakes: Limitations of Miscommunication Detection in Human-Robot Dialogue
Detecting miscommunication in human-robot interaction is a critical function for maintaining user engagement and trust. While humans effortlessly detect communication errors in conversations through both verbal and non-verbal cues, robots face significant challenges in interpreting non-verbal feedback, despite advances in computer vision for recognizing affective expressions. This research evaluates the effectiveness of machine learning models in detecting miscommunications in robot dialogue. U…

I really like this idea.
"Originally a faded turquoise, the bus is now vibrant orange with a cream-colored roof, the color scheme used by The Milwaukee Electric Railway & Light Company. Its windows and doors have been repaired, with two awning-style service windows installed to give waitstaff easy access."
#Milwaukee #MCTS #Bus

Amerikanen (net als Russen en Chinezen) zijn natuurlijk als de dood voor de United Countries of Europe als werkelijk machtsblok, en willen voorkomen dat het zover komt.
Trump ziet een verdeeld Europa met duiven en haviken onder de lidstaten – en maakt daar goed gebruik van …

Trump ziet een verdeeld Europa met duiven en haviken onder de lidstaten – en maakt daar goed gebruik van
De Amerikaanse president Donald Trump wil de handelstarieven voor de Europese Unie vanaf 1 augustus verhogen tot 30 procent. In onderhandelingen probeert Europa er nog onderuit te komen, maar tegen welke prijs? Wat is de EU als machtsblok waard als zij de rug niet recht houdt?

This https://arxiv.org/abs/2505.02548 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Modal logic for reasoning about uncertainty and confusion
We consider a modal logic that can formalise statements about uncertainty and beliefs such as `I think that my wallet is in the drawer rather than elsewhere' or `I am confused whether my appointment is on Monday or Tuesday'. To do that, we expand Gödel modal logic $\mathbf{K}\mathsf{G}$ with the involutive negation $\sim$ defined as $v({\sim}ϕ,w)=1-v(ϕ,w)$. We provide semantics with the finite model property for our new logic that we call $\mathbf{K}\mathsf{G_{inv}}$ and show its equivalence…

This https://arxiv.org/abs/2401.06584 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Dagger categories and the complex numbers: Axioms for the category of finite-dimensional Hilbert spaces and linear contractions
We unravel a deep connection between limits of real numbers and limits in category theory. Using a new variant of the classical characterisation of the real numbers, we characterise the category of finite-dimensional Hilbert spaces and linear contractions in terms of simple category-theoretic structures and properties that do not refer to norms, continuity, or real numbers. This builds on Heunen, Kornell, and Van der Schaaf's easier characterisation of the category of all Hilbert spaces and lin…

This https://arxiv.org/abs/2505.01936 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Algebraic structures arising from the finite condensation on linear orders
The finite condensation $\sim_F$ is an equivalence relation defined on a linear order $L$ by $x \sim_F y$ if and only if the set of points lying between $x$ and $y$ is finite. We define an operation $\cdot_F$ on linear orders $L$ and $M$ by $L \cdot_F M = \operatorname{o.t.}\left((LM)/\!\sim_F\right)$; that is, $L \cdot_F M$ is the order type of the lexicographic product of $L$ and $M$ modulo the finite condensation. The infinite order types $L$ such that $L / \! \sim_F\, \cong 1$ are $ω, ω^*…