Tootfinder

🚻 Bog standard? Tokyo’s spectacular public toilets – in pictures
https://www.theguardian.com/artanddesign/gallery/2025/apr/19/bog-standard-tokyos-spectacular-public-toilets-in-pictures

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution
Marcelo Fiore, Sanjiv Ranchod
https://arxiv.org/abs/2505.24812 https:/…

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution
We develop a unified categorical theory of substructural abstract syntax with variable binding and single-variable (capture-avoiding) substitution. This is done for the gamut of context structural rules given by exchange (linear theory) with weakening (affine theory) or with contraction (relevant theory) and with both (cartesian theory). Specifically, in all four scenarios, we uniformly: define abstract syntax with variable binding as free algebras for binding-signature endofunctors over variab…

From Bill McKibben
"Let me state it plainly: we are rushing into the most dangerous period in human history, and the Trump administration seems determined that we do it blindly. It’s inconceivably stupid, and it’s entirely real. And the planet doesn’t care: physics will not cut us any slack because we elected a moron."

Meanwhile, back in the real world
There's too much carbon in the atmosphere, so it's hot

Model-Guided Network with Cluster-Based Operators for Spatio-Spectral Super-Resolution
Ivan Pereira-S\'anchez, Julia Navarro, Ana Bel\'en Petro, Joan Duran
https://arxiv.org/abs/2505.24605

Model-Guided Network with Cluster-Based Operators for Spatio-Spectral Super-Resolution
This paper addresses the problem of reconstructing a high-resolution hyperspectral image from a low-resolution multispectral observation. While spatial super-resolution and spectral super-resolution have been extensively studied, joint spatio-spectral super-resolution remains relatively explored. We propose an end-to-end model-driven framework that explicitly decomposes the joint spatio-spectral super-resolution problem into spatial super-resolution, spectral super-resolution and fusion tasks. …

What is practice?
Practice is like a keel—deep contact with the self helps you not be blown around by every wind. Attentively returning to yourself for a period of time every day can be like coming home.
https://salrandolph.substack.com/p/ways-of-seeing-practice…

Ways of Seeing: Practice
Practice as a form of attention.

An Advanced Cyber-Physical System Security Testbed for Substation Automation
Akila Herath, Chen-Ching Liu, Junho Hong, Mansi Girdhar
https://arxiv.org/abs/2505.24021

An Advanced Cyber-Physical System Security Testbed for Substation Automation
A Cyber-Physical System (CPS) testbed serves as a powerful platform for testing and validating cyber intrusion detection and mitigation strategies in substations. This study presents the design and development of a CPS testbed that can effectively assess the real-time dynamics of a substation. Cyber attacks exploiting IEC 61850-based SV and GOOSE protocols are demonstrated using the testbed, along with an analysis on attack detection. Realistic timing measurements are obtained, and the time fra…

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

On the Tambara Affine Line
Tambara functors are the analogue of commutative rings in equivariant algebra. Nakaoka defined ideals in Tambara functors, leading to the definition of the Nakaoka spectrum of prime ideals in a Tambara functor. In this work, we continue the study of the Nakoaka spectra of Tambara functors. We describe, in terms of the Zariski spectra of ordinary commutative rings, the Nakaoka spectra of many Tambara functors. In particular: we identify the Nakaoka spectrum of the fixed point Tambara functor of …

Words to Win By
https://bsky.app/profile/wordstowinby.bsky.social/post/3lqb4dcrodc2a

June 1, 2025 -- Even as government agents from the Department of Homeland Security (DHS) ... (Heather Cox Richardson/Letters from an American)
https://heathercoxrichardson.substack.com/p/june-1-2025
http://www.memeorandum.com/250602/p9#a250602p9

A Minimal Substitution Basis for the Kalmar Elementary Functions
Mihai Prunescu, Lorenzo Sauras-Altuzarra, Joseph M. Shunia
https://arxiv.org/abs/2505.23787

A Minimal Substitution Basis for the Kalmar Elementary Functions
We show that the class of Kalmar elementary functions can be inductively generated from the addition, the integer remainder and the base-two exponentiation, hence improving previous results by Marchenkov and Mazzanti. In addition, we further prove that the substitution basis defined by these three operations is minimal.