Tootfinder

Emperor Trump's spending $100M on a useless 'birthday' military parade for his small penis cuz he thinks weapons & machinery will make him more than the childish toddler he is?
☑️ #Trump threatens military parade protesters, says dissenters will face 'very heavy force'

Trump threatens military parade protesters, says dissenters will face 'very heavy force'
Ahead of his military parade, Donald Trump said those who dared to express their First Amendment rights should expect to face "very heavy force."

Computers are the cold machinery of industrial despotism, tools of alienation imposed by capitalist power.
Junk no worker ever called for, standing in opposition to the free self-organization and creativity of the laboring masses.
#Capitalism #Computers

"[O]nce you recognize the playbook, the mystique evaporates. Beneath the fury, there is no machinery. Beneath the threats, there is no architecture. Trump is louder than ever, but no more effective. The country, bruised as it is, is still intact. And once we see the strategy for what it is, we also see something else: we’re going to get through this."
The Cohn doctrine: Trump's politics are performance
https://thehill.com/opinion/white-house/5344953-trump-strategy-cohn-influence/

A marking graph for finite-type Artin groups
Kaitlin Ragosta
https://arxiv.org/abs/2508.10394 https://arxiv.org/pdf/2508.10394

A marking graph for finite-type Artin groups
Clean markings on surfaces were a key component in Masur and Minsky's hierarchy machinery, which proved to be a powerful tool in the study of mapping class groups. We construct a marking graph for irreducible finite-type Artin groups which is quasi-isometric to the group modulo its center, i.e., an element of $A_Γ/Z(A_Γ)$ is determined up to finite error by its action on one of our markings. To construct this graph, we construct suitable collections of transverse parabolic subgroups which ext…

As Russia wages its full-scale war against Ukraine, one of its most important missile plants is quietly expanding -- bypassing international sanctions.
The Votkinsk Plant, also known as the Votkinskiy Plant,
— a strategic, state-owned facility serving Russia’s nuclear forces
— has hired thousands of new workers,
added new buildings,
and brought in advanced machinery to significantly increase its missile production.
Ukrainians have felt it firsthand.
Is…

Investigation: Russia expands strategic plant producing ICBMs — with China’s help
Key findings: * Despite international sanctions, Russia's strategic missile plant was able to import complex machinery to dramatically increase missile production. * The Kyiv Independent has identified the equipment supplied to the plant, as well as the supply chains, mostly from China. * We located the plant's new premises, built to house the new machinery. * We obtained a document confirming that the plant received an order to produce intercontinental missiles capable of reaching the U.S.

Physics-Informed Multimodal Bearing Fault Classification under Variable Operating Conditions using Transfer Learning
Tasfiq E. Alam, Md Manjurul Ahsan, Shivakumar Raman
https://arxiv.org/abs/2508.07536

Physics-Informed Multimodal Bearing Fault Classification under Variable Operating Conditions using Transfer Learning
Accurate and interpretable bearing fault classification is critical for ensuring the reliability of rotating machinery, particularly under variable operating conditions where domain shifts can significantly degrade model performance. This study proposes a physics-informed multimodal convolutional neural network (CNN) with a late fusion architecture, integrating vibration and motor current signals alongside a dedicated physics-based feature extraction branch. The model incorporates a novel physi…

Syntactic Effectful Realizability in Higher-Order Logic
Liron Cohen (BGU), Ariel Grunfeld (BGU), Dominik Kirst (PICUBE), \'Etienne Miquey (I2M)
https://arxiv.org/abs/2506.09458

Syntactic Effectful Realizability in Higher-Order Logic
Realizability interprets propositions as specifications for computational entities in programming languages. Specifically, syntactic realizability is a powerful machinery that handles realizability as a syntactic translation of propositions into new propositions that describe what it means to realize the input proposition. This paper introduces EffHOL (Effectful Higher-Order Logic), a novel framework that expands syntactic realizability to uniformly support modern programming paradigms with sid…

Relationship between Perceived Maneuverability and Involuntary Eye Movements under Systematically Varied Time Constants of Ride-on Machinery
Muhammad Akmal Bin Mohammed Zaffir, Daisuke Sakai, Yuki Sato, Takahiro Wada
https://arxiv.org/abs/2508.03717

Relationship between Perceived Maneuverability and Involuntary Eye Movements under Systematically Varied Time Constants of Ride-on Machinery
Studies suggest that involuntary eye movements exhibit greater stability during active motion compared to passive motion, and this effect may also apply to the operation of ride-on machinery. Moreover, a study suggested that experimentally manipulating the sense of agency (SoA) by introducing delays may influence the stability of involuntary eye movements. Although a preliminary investigation examined involuntary eye movements and perceived maneuverability under two distinct machine dynamics wi…

An implicit gas-kinetic scheme for internal and external flows
Yue Zhang, Xing Ji, Kun Xu
https://arxiv.org/abs/2508.07644 https://arxiv.org/pdf/2508.07644…

An implicit gas-kinetic scheme for internal and external flows
The gas-kinetic scheme(GKS) is a promising computational fluid dynamics (CFD) method for solving the Navier-Stokes equations. It is based on the analytical solution of the BGK equation, which enables accurate and robust simulations. While GKS has demonstrated excellent properties (e.g., unified treatment of inviscid and viscous fluxes, inherent adaptive dissipation control), its application to classical engineering problems, such as aerodynamic flows and fluid machinery, remains underdeveloped …

Spectral Fingerprints of Algebraic Cycles on K3 Surfaces: A Hodge-Theoretic Perspective
Bita Hajebi, Pooya Hajebi
https://arxiv.org/abs/2507.07234 https://…

Spectral Fingerprints of Algebraic Cycles on K3 Surfaces: A Hodge-Theoretic Perspective
This paper introduces a novel framework, the "Spectral Fingerprint Philosophy," for extracting intrinsic algebraic information from Hodge cycles, particularly divisors, on K3 surfaces. We depart from traditional geometric spectral analysis, which relies on the Laplace-Beltrami operator and faces significant computational challenges for Ricci-flat Kahler metrics. Instead, we leverage the powerful machinery of Hodge theory, variation of Hodge structures (VHS), and arithmetic geometry. We demonstr…

Trump really seems to prefer misinformation to actual facts. Why else would he have abruptly cancelled thousands of research grants (throwing perhaps 10,000 scientists and their families on the streets).
https://www.

Here Are the Nearly 2,500 Medical Research Grants Canceled or Delayed by Trump
Some cuts have been starkly visible, but the country’s medical grant-making machinery has also radically transformed outside the public eye.

This https://arxiv.org/abs/1911.02653 has been replaced.
link: https://scholar.google.com/scholar?q=a

Analysis of Two-variable Recurrence Relations with Application to Parameterized Approximations
In this paper we introduce randomized branching as a tool for parameterized approximation and develop the mathematical machinery for its analysis. Our algorithms improve the best known running times of parameterized approximation algorithms for Vertex Cover and $3$-Hitting Set for a wide range of approximation ratios. One notable example is a simple parameterized random $1.5$-approximation algorithm for Vertex Cover, whose running time of $\tilde{O}(1.01657^k)$ substantially improves the best k…

p-adic congruences in iterated derivatives of the Weierstrass elliptic function
Kiran Luecke, Eric Peterson
https://arxiv.org/abs/2506.07420 https://

p-adic congruences in iterated derivatives of the Weierstrass elliptic function
We use homotopy theoretic methods to prove congruence relations of number theoretic interest. Specifically, we use the theory of $\mathbb E_\infty$ complex orientations to establish $p$-adic Kümmer congruences among iterated derivatives of the Weierstrass elliptic function. The machinery of Ando, Hopkins, and Rezk was developed with the intended application of taking congruence relations as input and producing $\mathbb E_\infty$-orientations as output. We run their machine in reverse, using …

"This report investigates the corporate machinery sustaining Israel’s settler-colonial project of displacement and replacement of the Palestinians in the occupied territory. While political leaders and governments shirk their obligations, far too many corporate entities have profited from Israel’s economy of illegal occupation, #apartheid and now,

"Copper is used in everything from electrical wiring and building construction to cars, phones, and industrial machinery. A tariff like the one proposed by Trump could ripple through supply chains, driving up prices for companies and consumers alike."
Copper price hits record high after Trump floats 50% tariff
https://qz.com/copper-record-price-trump-50-percent-tariff

There's some pretty serious garden machinery envy going on today here.

City Snaps - Chengdu / Freeze Frame II ⌛️
城市抓拍 - 成都 / 静帧 II ⌛️
📷 Nikon FE
🎞️Ilford Pan 400
buy me ☕️ ?/请我喝杯☕️？
#filmphotography

The bipartisan Senate Intelligence Committee unanimously found in 2020 that the ICA was “coherent and well constructed”
-- and reconfirmed that Russia “engaged in an aggressive, multi-faceted effort to influence” the 2016 election in Trump’s favor.
Durham’s work is particularly instructive here.
Durham was a Trump U.S. attorney whom Attorney General William Barr tasked with leading an investigation into the origins of the FBI’s Crossfire Hurricane probe into alleged Trump-…

Bondi’s Obama Grand Jury: The Authoritarian Moment We’ve All Feared
It’s officially happening: the use of the machinery of justice to go on fishing expeditions about political predecessors. Absolute madness.

Dynamics and Coherence for the Free Cornering with Protocol Choice
Chad Nester, Niels Voorneveld
https://arxiv.org/abs/2508.00633 https://arxiv.org/pdf/250…

Dynamics and Coherence for the Free Cornering with Protocol Choice
We present a term rewriting system that models the dynamic aspects of the free cornering with protocol choice of a monoidal category, which has been proposed as a categorical model of process interaction. This term rewriting system is confluent and terminating in an appropriate sense. We use this machinery to prove a coherence theorem for the free cornering with protocol choice.

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

Charon: An Analysis Framework for Rust
With the explosion in popularity of the Rust programming language, a wealth of tools have recently been developed to analyze, verify, and test Rust programs. Alas, the Rust ecosystem remains relatively young, meaning that every one of these tools has had to re-implement difficult, time-consuming machinery to interface with the Rust compiler and its cargo build system, to hook into the Rust compiler's internal representation, and to expose an abstract syntax tree (AST) that is suitable for analy…

The popular meaning of "luddite" is a straw-man. It's a sloppy word with a sloppy meaning now, and it's one we'd do well to watch out for.
The actual reality of who the Luddites were is far more interesting, the center of the hard-fought struggles against owners of factories disrupting entire towns and cities economies with massively terrible results, centralizing power and money and leaving a great number of people without any control of their work, formerly artisans who'd had a hand in their own work, and many automated out of jobs. Luddites destroyed automated looms not because they hated technology. They destroyed automated looms because they were taking the livelihood they depended on, with no recourse, and it was a disaster for a good while, and then millwork has gone from those places probably forever.
The problem now with LLMs and automated research systems is there's very little way for workers and creators to stick their shoes in the machinery. They've tried (https://arxiv.org/abs/2407.12281) but mostly failed, since unlike a factory full of textile workers, the equipment is remote, the automation virtual, an intangible software object that few can access in any meaningful way.

Common ownership? Never, so long as society clings to economic monopolies and the machinery of state, true freedom for all remains impossible!
As Rocker argued, only the abolition of all monopolies and the creation of a federation of free communities, where the land and means of production belong to everyone, not privileged minorities, can end exploitation and allow genuine liberty to flourish.
Until then, "common ownership" is just a slogan, not a living reality.

Absolutely insane that farm machinery is allowed on Irish motorways, but a resolution of the problem depends on the relative political heft of the Irish Road Haulage Association and the Irish Farmers Association
https://www.rte.ie/news/ireland/2025/0526/1514987-…

Recursive Privacy-Preserving Estimation Over Markov Fading Channels
Jie Huang, Fanlin Jia, Xiao He
https://arxiv.org/abs/2506.02725 https://

Recursive Privacy-Preserving Estimation Over Markov Fading Channels
In industrial applications, the presence of moving machinery, vehicles, and personnel, contributes to the dynamic nature of the wireless channel. This time variability induces channel fading, which can be effectively modeled using a Markov fading channel (MFC). In this paper, we investigate the problem of secure state estimation for systems that communicate over a MFC in the presence of an eavesdropper. The objective is to enable a remote authorized user to accurately estimate the states of a d…

It’s the moment we’ve feared
—the moment the Supreme Court invoked in giving Donald Trump immunity,
and the moment that marks an authoritarian government at its most vulgar and vicious.
On Monday, Attorney General Pam Bondi signed an order
directing an as-yet-unidentified federal prosecutor to convene a grand jury
to investigate whether prominent officials in Barack Obama’s administration, including Obama himself,
purposely manufactured an intelligence asse…

Bondi’s Obama Grand Jury: The Authoritarian Moment We’ve All Feared
It’s officially happening: the use of the machinery of justice to go on fishing expeditions about political predecessors. Absolute madness.

Shuffle algebras, lattice paths and quantum toroidal $\mathfrak{gl}_{n|m}$
Alexandr Garbali, Andrei Negu\c{t}
https://arxiv.org/abs/2507.00538 https://

Shuffle algebras, lattice paths and quantum toroidal $\mathfrak{gl}_{n|m}$
We describe and compute various families of commuting elements of the matrix shuffle algebra of type $\mathfrak{gl}_{n|m}$, which is expected to be isomorphic to quantum toroidal $\mathfrak{gl}_{n|m}$. Our formulas are given in terms of partial traces of products of $R$-matrices of the quantum affine algebra $U_t(\dot{\mathfrak{gl}}_{n|m})$, and have a lattice path interpretation. Our calculations are based on the machinery of the quantum toroidal algebras and a new anti-homomorp…

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

General infinitesimal variations of Hodge structure of ample curves in surfaces
Given a smooth projective complex curve inside a smooth projective surface, one can ask how its Hodge structure varies when the curve moves inside the surface. In this paper we develop a general theory to study the infinitesimal version of this question in the case of ample curves. We can then apply the machinery to show that the infinitesimal variation of Hodge structure of a general deformation of an ample curve in $\mathbb{P}^1\times\mathbb{P}^1$ is an isomorphism.

Cluster structures in mixed Grassmanianns
Zenan Fu
https://arxiv.org/abs/2506.20038 https://arxiv.org/pdf/2506.20038

Cluster structures in mixed Grassmanianns
Generalizing the results by Fomin-Pylyavskyy and Carde, we construct a family of natural cluster structures in the coordinate ring of a mixed Grassmannian, the configuration space of tuples of several vectors and covectors in a finite-dimensional complex vector space. We describe and explore these cluster structures using the machinery of weaves introduced by Casals and Zaslow.

On nonorientable $4$--manifolds
R. \.Inan\c{c} Baykur, Porter Morgan
https://arxiv.org/abs/2506.20950 https://arxiv.org/pdf/2506.2095…

On nonorientable $4$--manifolds
We present several structural results on closed, nonorientable, smooth $4$--manifolds, extending analogous results and machinery for the orientable case. We prove the existence of simplified broken Lefschetz fibrations and simplified trisections on nonorientable $4$--manifolds, yielding descriptions of them via factorizations in mapping class groups of nonorientable surfaces. With these tools in hand, we classify low genera simplified broken Lefschetz fibrations on nonorientable $4$--manifolds.…

🧪Explore this gift article from The New York Times.
You can read it for free without a subscription.
https://www.nytimes.com/interactive/2025/06/04/health/trump-cuts-ni…

Here Are the Nearly 2,500 Medical Research Grants Canceled or Delayed by Trump
Some cuts have been starkly visible, but the country’s medical grant-making machinery has also radically transformed outside the public eye.

Urban Diaspora 7️⃣
城市放逐 7️⃣
📷 Nikon FE
🎞️Ilford FP4 Plus, expired 1994
buy me ☕️ ?/请我喝杯☕️？
#filmphotography

Deep Generative Models in Condition and Structural Health Monitoring: Opportunities, Limitations and Future Outlook
Xin Yang, Chen Fang, Yunlai Liao, Jian Yang, Konstantinos Gryllias, Dimitrios Chronopoulos
https://arxiv.org/abs/2507.15026

Deep Generative Models in Condition and Structural Health Monitoring: Opportunities, Limitations and Future Outlook
Condition and structural health monitoring (CM/SHM) is a pivotal component of predictive maintenance (PdM) strategies across diverse industrial sectors, including mechanical rotating machinery, airplane composite wings, offshore wind turbines, and civil engineering structures. Conventional deep learning models, while effective in fault diagnosis and anomaly detection through supervised feature extraction and rule-based data augmentation, often struggle with operational variability, imbalanced o…

Fully lifted \emph{blirp} interpolation -- a large deviation view
Mihailo Stojnic
https://arxiv.org/abs/2506.19272 https://arxiv.org/…

Fully lifted \emph{blirp} interpolation -- a large deviation view
[104] introduced a powerful \emph{fully lifted} (fl) statistical interpolating mechanism. It established a nested connection between blirps (bilinearly indexed random processes) and their decoupled (linearly indexed) comparative counterparts. We here revisit the comparison from [104] and introduce its a \emph{large deviation} upgrade. The new machinery allows to substantially widen the [104]'s range of applicability. In addition to \emph{typical}, studying analytically much harder \emph{atypica…

Data-Efficient Excavation Force Estimation for Wheel Loaders
Armin Abdolmohammadi, Navid Mojahed, Shima Nazari, Bahram Ravani
https://arxiv.org/abs/2506.22579

Data-Efficient Excavation Force Estimation for Wheel Loaders
Accurate excavation force prediction is essential for enabling autonomous operation and optimizing control strategies in earthmoving machinery. Conventional methods typically require extensive data collection or simulations across diverse soil types, limiting scalability and adaptability. This paper proposes a data-efficient framework that calibrates soil parameters using force data from the prior bucket-loading cycle. Leveraging an analytical soil-tool interaction model, the fundamental earthm…

Controlling energy delivery with bistable nanostructures
Andreas Ehrmann, Carl P. Goodrich
https://arxiv.org/abs/2506.14266 https://a…

Controlling energy delivery with bistable nanostructures
Countless biological processes are fueled by energy-rich molecules like ATP and GTP that supply energy with extreme efficiency. However, designing similar energy-delivery schemes from the bottom up, essential for the development of powered nanostructures and other {\it de novo} machinery, presents a significant challenge: how can an energy-rich structure be stable in solution yet still deliver this energy at precisely the right time? In this paper, we present a purely physical mechanism that so…

New Insights into Integrals Involving Gaussian Sums
Jesus Retamozo
https://arxiv.org/abs/2507.17945 https://arxiv.org/pdf/2507.17945

New Insights into Integrals Involving Gaussian Sums
In this article, we explore a series of elementary yet insightful results involving integrals related to Gaussian sums. Using techniques rooted in classical calculus, we derive several identities and evaluate nontrivial definite integrals that emerge naturally in this context. The approach is mostly elementary, avoiding the need for advanced machinery, and aims to shed light on the rich interplay between analysis and arithmetic structures arising from these integrals.

Estimates for viscosity solutions of fully nonlinear equations near smooth boundaries
Niklas L. P. Lundstr\"om, Marcus Olofsson, Jesper Singh
https://arxiv.org/abs/2506.12477

Estimates for viscosity solutions of fully nonlinear equations near smooth boundaries
We reduce the problem of proving decay estimates for viscosity solutions of fully nonlinear PDEs to proving analogous estimates for solutions of one-dimensional ordinary differential inequalities. Our machinery allow the ellipticity to vanish near the boundary and permits general, possibly unbounded, lower-order terms. A key consequence is the derivation of boundary Harnack inequalities for a broad class of fully nonlinear, nonhomogeneous equations near $C^{1,1}$-boundaries. In combination wi…

New tools in hierarchical hyperbolicity: A survey
Alessandro Sisto
https://arxiv.org/abs/2507.17546 https://arxiv.org/pdf/2507.17546

New tools in hierarchical hyperbolicity: A survey
The aim of this short survey is to advertise various tools that have been developed to study hierarchically hyperbolic spaces (HHSs) in recent years, with particular emphasis on those that require little to no knowledge of the HHS machinery to be used.

The relative index in coarse index theory and submanifold obstructions to uniform positive scalar curvature
Alexander Engel, Christopher Wulff
https://arxiv.org/abs/2506.14301

The relative index in coarse index theory and submanifold obstructions to uniform positive scalar curvature
We provide a coarse version of the relative index of Gromov and Lawson and thoroughly establish all of its basic properties. As an application, we discuss a general procedure to construct wrong way maps on the $K$-theory of the Roe algebra mapping the coarse index class of the Dirac operator of a manifold to the one of a suitably embedded submanifold of arbitrary codimension, thereby establishing an abstract machinery to find obstructions to uniform positive scalar curvature coming from these s…

Koszul complexes and derived intersections
Tristan Bozec, Julien Grivaux
https://arxiv.org/abs/2506.21528 https://arxiv.org/pdf/2506.…

Koszul complexes and derived intersections
The aim of this article is to provide a complementary understanding to some results of the second author using the machinery of Koszul complexes, and to explain how this approach can provide a new description of projective derived intersections.

Severi varieties on Enriques surfaces of base change type and on rational elliptic surfaces
Simone Pesatori
https://arxiv.org/abs/2506.18453 https://

Severi varieties on Enriques surfaces of base change type and on rational elliptic surfaces
If an irreducible curve on the very general Enriques surface splits in the K3 cover, its preimage consists of two linearly equivalent irreducible curves. We prove the nonemptiness of countable families of Severi varieties of curves of any genus on Enriques surfaces of base change type, whose members split in nonlinearly equivalent curves in the K3 cover. Our machinery leads us to provide examples of special superabundant logarithmic Severi varieties of curves of any genus on rational elliptic s…