Tootfinder

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://

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.

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

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.

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

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…

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…

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-…

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.