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/

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…

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.

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 …

Understanding nature's choice of genetic languages
Apoorva D. Patel
https://arxiv.org/abs/2505.06718 https://arxiv.org/pdf/2505.0…

Understanding nature's choice of genetic languages
All living organisms use the same genetic languages in their molecular biology machinery. They can be understood as the optimal solutions to the replication tasks involving DNA and proteins. These solutions perfectly fit the pattern predicted by Grover's algorithm, which is more efficient than the best Boolean search algorithm (i.e. binary tree search) that predicts a different pattern. The challenge is to demonstrate how Grover's algorithm would be executed in vivo by the living organisms.

🧪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.

Sophisticated word play backed by the beats of hunted machinery. Previous Industries took me a few listens to get into. I appreciate that in hindsight. Acquired tastes are the ones that change the palette.
#MorningMusic
https://

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…

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

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.

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…

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…