Tootfinder

Towards a unified framework for programming paradigms: A systematic review of classification formalisms and methodological foundations
Mikel Vandeloise
https://arxiv.org/abs/2508.00534

Towards a unified framework for programming paradigms: A systematic review of classification formalisms and methodological foundations
The rise of multi-paradigm languages challenges traditional classification methods, leading to practical software engineering issues like interoperability defects. This systematic literature review (SLR) maps the formal foundations of programming paradigms. Our objective is twofold: (1) to assess the state of the art of classification formalisms and their limitations, and (2) to identify the conceptual primitives and mathematical frameworks for a more powerful, reconstructive approach. Based …

Stability characterization of impulsive linear switched systems
Yacine Chitour (L2S), Jamal Daafouz (IUF, CRAN), Ihab Haidar (ENSEA, QUARTZ), Paolo Mason (L2S), Mario Sigalotti (LJLL)
https://arxiv.org/abs/2507.02434

Stability characterization of impulsive linear switched systems
This paper addresses a class of impulsive systems defined by a mix of continuous-time and discrete-time switched linear dynamics. We first analyze a related class of weighted discrete time switched systems for which we establish two main stability results: a converse Lyapunov theorem and a Berger-Wang-type formula. These results are used to characterize the exponential stability of the considered class of systems via spectral and Lyapunov-based approaches, extending existing results in hybrid a…

Norge trenger verken autoritære ledere eller formelle stater, for ekte frihet og folkestyre vokser fram når arbeiderklassen og lokale fellesskap tar styringen selv gjennom direkte handling og desentralisert selvstyre.
Jeg nekter å la noen herske over meg eller ta beslutninger på mine vegne, fordi makten tilhŸrer arbeiderne og fellesskapet gjennom selvorganisering og solidaritet.
FŸlg @…

Irreducible components of Toric Complete Intersections
Andrey Zhizhin
https://arxiv.org/abs/2508.00745 https://arxiv.org/pdf/2508.00745

Irreducible components of Toric Complete Intersections
An equivariant linear system on a toric variety is a linear system invariant under the torus action. We study the number of irreducible components of the complete intersection of general divisors from a fixed collection of equivariant linear system on a toric variety $X$. An explicit formula for the number of components was obtained by Khovanskii in 2016 for the case $X = T^n$ over $\mathbb C$ and generalized to an algebraically closed field of arbitrary characteristic the author in 2024. Build…

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

Low-weight codewords in cyclic codes
We introduce a formula for determining the number of codewords of weight 2 in cyclic codes and provide results related to the count of codewords with weight 3. Additionally, we establish a recursive relationship for binary cyclic codes that connects their weight distribution to the number of solutions of associated systems of polynomial equations. This relationship allows for the computation of weight distributions from known solutions of systems of diagonal equations and vice versa, offering a…

The CFT of Sen's Formulation of Chiral Gauge Fields
Chris Hull, Neil Lambert
https://arxiv.org/abs/2508.00199 https://arxiv.org/pdf/2508.00199

The CFT of Sen's Formulation of Chiral Gauge Fields
Sen's action for chiral bosons in 2 dimensions describes two chiral scalars, one of which couples to the physical metric and one of which couples to a flat metric. It has a generalisation in which the flat metric is replaced by an arbitrary second metric and so can be formulated on any curved world-sheet. When the two metrics are equal, the theory reduces to a $βγ$ system, giving a non-unitary $c=2$ conformal field theory. We argue that the relation between this and the theory of two chiral b…

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

A framework for computing upper bounds in passive learning settings
The task of inferring logical formulas from examples has garnered significant attention as a means to assist engineers in creating formal specifications used in the design, synthesis, and verification of computing systems. Among various approaches, enumeration algorithms have emerged as some of the most effective techniques for this task. These algorithms employ advanced strategies to systematically enumerate candidate formulas while minimizing redundancies by avoiding the generation of syntact…

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

A framework for computing upper bounds in passive learning settings
The task of inferring logical formulas from examples has garnered significant attention as a means to assist engineers in creating formal specifications used in the design, synthesis, and verification of computing systems. Among various approaches, enumeration algorithms have emerged as some of the most effective techniques for this task. These algorithms employ advanced strategies to systematically enumerate candidate formulas while minimizing redundancies by avoiding the generation of syntact…

Proof of a magnificent conjecture
M. Kool, J. V. Rennemo
https://arxiv.org/abs/2507.02852 https://arxiv.org/pdf/2507.02852

Proof of a magnificent conjecture
Motivated by super-Yang-Mills theory on a Calabi-Yau 4-fold, Nekrasov and Piazzalunga have assigned weights to $r$-tuples of solid partitions and conjectured a formula for their weighted generating function. We define $K$-theoretic virtual invariants of Quot schemes of 0-dimensional quotients of $\mathcal{O}_{\mathbb{C}^4}^{\oplus r}$ by realizing them as zero loci of isotropic sections of orthogonal bundles on non-commutative Quot schemes. Via the Oh-Thomas localization formula, we recover N…

The reason I’m so fixated on Rudolf Rocker is that he understood authority and centralized control as inherently oppressive structures that suppress individual freedom and the collective ability to self-organize.
He argued that true freedom arises not from legal or political institutions, which often serve to maintain domination, but from the voluntary, free association of people resisting all forms of coercion and hierarchy.
For Rocker, political rights are not granted by govern…