Tootfinder

On November 20th, women stop being paid compared to men.
This is the point in the year when,
on average,
women effectively work for free.
The gender pay gap is now 11.3%,
up from 10.7% last year.
It’s a stark reminder that while progress has been made,
gender pay inequality persists
- and may be higher than we thought.

Efficient Speech Watermarking for Speech Synthesis via Progressive Knowledge Distillation
Yang Cui, Peter Pan, Lei He, Sheng Zhao
https://arxiv.org/abs/2509.19812 https://

Efficient Speech Watermarking for Speech Synthesis via Progressive Knowledge Distillation
With the rapid advancement of speech generative models, unauthorized voice cloning poses significant privacy and security risks. Speech watermarking offers a viable solution for tracing sources and preventing misuse. Current watermarking technologies fall mainly into two categories: DSP-based methods and deep learning-based methods. DSP-based methods are efficient but vulnerable to attacks, whereas deep learning-based methods offer robust protection at the expense of significantly higher comput…

"But as you can see, the programs do come at a cost... we estimate about $27.4m a year goes to the administrative costs and also the projected fare revenue reduction."
I'm waiting for the slide where they estimate the much higher cost of all the unmetered parking spaces across the city, and of turning off meters at 6pm and on Sundays. I'm sure that'll definitely be later in this presentation, right?

I think we can actually prove that this constraint is the *only* constraint that can preserve freedom:
1. There will exist actors in a system who will wish to take advantage of others. Evolution drives survival and one strategy for increasing survival in an altruistic society is to become a parasite.
2. Expecting exploitative dynamics, a system needs to have a set of rules to manage exploitation.
3. If the set of rules is static it will lack the requisite variety necessary to manage the infinite possible behavior of humans so the system will fail.
4. If the system is dynamic then it must have a rule set about how it's own rules are updated. This would make the system recursive, which makes the system at least as complex as mathematics. Any system at least as complex as mathematics is necessarily either incomplete or inconsistent (Gödel's incompleteness theorem). If the system is incomplete, then constraints can be evaded which then allow a malicious agent to seize control of the system and update the rules for their own benefit. If constraints are incomplete, then a malicious agent can take advantage of others within the system.
5. Therefore, no social system can possibly protect freedom unless there exists a single metasystemic constraint (that the system must be optional) allowing for the system to be abandoned when compromised.
Oh, you might say, but this just means you have to infinitely abandon systems. Sure, but there's an evolutionary advantage to cooperation so there's evolutionary pressure to *not* be a malicious actor. So a malicious actor being able to compromise the whole system is likely to be a much more rare event. Compromising a system is a lot of work, so the first thing a malicious actor would want to do is preserve that work. They would want to lock you in. The most important objective to a malicious actor compromising a system would be to violate that metasystemic constraint, or all of their work goes out the window when everyone leaves.
And now you understand why borders exist, why fascists are obsessed with maintaining categories like gender, race, ethnicity, etc. This is why even Democrats like Newsom are on board with putting houseless people in concentration camps. And this is why the most important thing anarchists promote is the ability to choose not to be part of any of that.

A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs
Kazuki Watanabe, Mayuko Kori, Taro Sekiyama, Satoshi Kura, Hiroshi Unno
https://arxiv.org/abs/2510.11320

A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs
We propose a categorical framework for linear-time temporal verification of effectful higher-order programs, including probabilistic higher-order programs. Our framework provides a generic denotational reduction -- namely, a denotational product construction -- from linear-time safety verification of effectful higher-order programs to computation of weakest pre-conditions of product programs. This reduction enables us to apply existing algorithms for such well-studied computations of weakest pr…

Universal properties of Delannoy categories
Kevin Coulembier, Nate Harman, Andrew Snowden
https://arxiv.org/abs/2510.10317 https://arxiv.org/pdf/2510.10317…

Universal properties of Delannoy categories
Recently, the second and third authors introduced a new symmetric tensor category $\underline{\mathrm{Perm}}(G, μ)$ associated to an oligomorphic group $G$ with a measure $μ$. When $G$ is the group of order preserving self-bijections of the real line there are four such measures, and the resulting tensor categories are called the Delannoy categories. The first Delannoy category is semi-simple, and was studied in detail by Harman, Snowden, and Snyder. We give universal properties for all four …

DiT-VTON: Diffusion Transformer Framework for Unified Multi-Category Virtual Try-On and Virtual Try-All with Integrated Image Editing
Qi Li, Shuwen Qiu, Julien Han, Xingzi Xu, Mehmet Saygin Seyfioglu, Kee Kiat Koo, Karim Bouyarmane
https://arxiv.org/abs/2510.04797

DiT-VTON: Diffusion Transformer Framework for Unified Multi-Category Virtual Try-On and Virtual Try-All with Integrated Image Editing
The rapid growth of e-commerce has intensified the demand for Virtual Try-On (VTO) technologies, enabling customers to realistically visualize products overlaid on their own images. Despite recent advances, existing VTO models face challenges with fine-grained detail preservation, robustness to real-world imagery, efficient sampling, image editing capabilities, and generalization across diverse product categories. In this paper, we present DiT-VTON, a novel VTO framework that leverages a Diffus…

r-charts.com provides example code for a variety of chart types, both in base R and ggplot: #rstats #ggplot…

R CHARTS | A collection of charts and graphs made with the R programming language
Over 1400 graphs with reproducible code divided in 8 big categories and over 50 chart types, in addition of tools to choose and create colors and color palettes

Open-Source Thermostatic Radiator Valve (OpenTRV) - OpenTRV retrofit open-source reference mechanical/hardware/software design for zoned heating to save carbon and money. #OpenTRV #TRV #heating

Open-Source Thermostatic Radiator Valve (OpenTRV)
OpenTRV retrofit open-source reference mechanical/hardware/software design for zoned heating to save carbon and money. #OpenTRV #TRV #heating #cutCarbon

Equivariant Eilenberg-Watts theorem for module coalgebras
Taiki Shibata (Okayama University of Science), Kenichi Shimizu (Shibaura Institute of Technology)
https://arxiv.org/abs/2510.07969

Equivariant Eilenberg-Watts theorem for module coalgebras
For coalgebras $C$ and $D$, Takeuchi proved that the category of linear functors from $\mathfrak{M}^C$ to $\mathfrak{M}^D$ preserving small coproducts is equivalent to the category of $C$-$D$-bicomodules, where $\mathfrak{M}^C$ for a coalgebra $C$ means the category of right $C$-comodules. We formulate and prove an equivariant version of this result for module coalgebras over a bialgebra. As an application, for a bialgebra $H$, we establish an equivalence of the 2-category of a particular class…