Tootfinder

Retrocedamos solo un año, hasta 1983, cuando R.E.M. publicaba su primer larga duración (antes habían publicado el EP Chronic Town). ¡Cómo no la iban a romper en los círculos universitarios y underground con este discazo que aún sigue sonando fresco y original!
Murmur
#REM #NowPlaying

Safe, Untrusted, "Proof-Carrying" AI Agents: toward the agentic lakehouse
Jacopo Tagliabue, Ciro Greco
https://arxiv.org/abs/2510.09567 https://a…

Safe, Untrusted, "Proof-Carrying" AI Agents: toward the agentic lakehouse
Data lakehouses run sensitive workloads, where AI-driven automation raises concerns about trust, correctness, and governance. We argue that API-first, programmable lakehouses provide the right abstractions for safe-by-design, agentic workflows. Using Bauplan as a case study, we show how data branching and declarative environments extend naturally to agents, enabling reproducibility and observability while reducing the attack surface. We present a proof-of-concept in which agents repair data pip…

Ambient-Stable Transfer-Free Graphdiyne Wafers with Superhigh Hole Mobility at Room Temperature
Beining Ma, Jianyuan Qi, Xinghai Shen
https://arxiv.org/abs/2510.09998 https://…

Ambient-Stable Transfer-Free Graphdiyne Wafers with Superhigh Hole Mobility at Room Temperature
Graphdiyne (GDY) is recognized as a compelling candidate for the fabrication of next-generation high-speed low-energy electronic devices due to its inherent p-type semiconductor characteristics. However, the development of GDY for applications in field-effect transistors (FETs), complementary metal-oxide-semiconductor (CMOS), and logic devices remains constrained by the relatively low carrier mobility reported in current experimental studies. Herein, the synthesis of layer-controlled hydrogen-s…

Broken Weyl Gravity: Dynamical Torsion and Generalized Proca
Lucas Fern\'andez Sarmiento, Irvin Mart\'inez Rodr\'iguez
https://arxiv.org/abs/2510.08778 https://

Broken Weyl Gravity: Dynamical Torsion and Generalized Proca
We develop a symmetry-based construction of gravity from a phase in which Weyl invariance is spontaneously broken. Using the coset formalism, the dilaton acts as a Stuckelberg field for the gauged scale symmetry, giving the Weyl gauge field a mass of order $\mathcal{O}(M_{\rm Pl})$. The resulting gauge-gravity interactions fall within the ghost-free generalized Proca framework. We further show that the Weyl field can be exchanged for a propagating vector component of torsion, providing a natura…

Trump Org set to lose bid to run iconic Central Park skating rink (Emily Ngo/Politico)
https://www.politico.com/news/2025/09/10/trump-organization-loses-bid-skating-rink-00556328
http://www.memeorandum.com/250910/p161#a250910p161

Membrane: A Cryptographic Access Control System for Data Lakes
Sam Kumar, Samyukta Yagati, Conor Power, David E. Culler, Raluca Ada Popa
https://arxiv.org/abs/2509.08740 https:/…

Membrane: A Cryptographic Access Control System for Data Lakes
Organizations use data lakes to store and analyze sensitive data. But hackers may compromise data lake storage to bypass access controls and access sensitive data. To address this, we propose Membrane, a system that (1) cryptographically enforces data-dependent access control views over a data lake, (2) without restricting the analytical queries data scientists can run. We observe that data lakes, unlike DBMSes, disaggregate computation and storage into separate trust domains, making at-rest en…

Next-Generation Improvements in Giant Exoplanet Evolutionary and Structural Models
Ankan Sur, Roberto Tejada Arevalo, Adam Burrows, Yi-Xian Chen
https://arxiv.org/abs/2510.08681

Next-Generation Improvements in Giant Exoplanet Evolutionary and Structural Models
We present a comprehensive comparison between legacy and modern evolutionary models for giant exoplanets, using our planetary evolution code, APPLE, to emulate and extend previous studies. Our analysis isolates and quantifies the impact of recent physical advances motivated by detailed modeling of Jupiter and Saturn, including updated hydrogen-helium and heavy-element equations of state, helium rain, "fuzzy" cores, and non-adiabatic, inhomogeneous envelopes, alongside improved atmospheric bound…

Magnetic fields in galactic environments probed by Fast Radio Bursts
Ilya S. Khrykin, Nicolas Tejos, J. Xavier Prochaska, Alexandra Mannings, Lluis Mas-Ribas, Kentaro Nagamine, Khee-Gan Lee, Bryan Gaensler, Zhao Joseph Zhang, Lucas Bernales-Cortes
https://arxiv.org/abs/2509.08896

Magnetic fields in galactic environments probed by Fast Radio Bursts
FRBs constitute a unique probe of various astrophysical and cosmological environments via their characteristic dispersion and rotation (RM) measures that encode information about the ionized gas traversed by the FRB sightlines. In this work, we analyse observed RM measured for 14 localized FRBs at $0.05 \lesssim z \lesssim 0.5$, to infer total magnetic fields in various galactic environments. Additionally, we calculate $f_{\rm gas}$ - the average fraction of halo baryons in the ionized CGM. We …

"You can be exposed to PFAS through food, water, even swimming in lakes"
#PFAS #ForeverChemicals #Health

You can be exposed to PFAS through food, water, even swimming in lakes
Since the 1940s, companies have been using PFAS—perfluoroalkyl and polyfluoroalkyl substances—to make products easier to use, from Teflon nonstick pots to waterproof rain gear, stain-resistant carpet and firefighting foam.

What You Code Is What We Prove: Translating BLE App Logic into Formal Models with LLMs for Vulnerability Detection
Biwei Yan, Yue Zhang, Minghui Xu, Runyu Pan, Jinku Li, Xiuzhen Cheng
https://arxiv.org/abs/2509.09291

What You Code Is What We Prove: Translating BLE App Logic into Formal Models with LLMs for Vulnerability Detection
The application layer of Bluetooth Low Energy (BLE) is a growing source of security vulnerabilities, as developers often neglect to implement critical protections such as encryption, authentication, and freshness. While formal verification offers a principled way to check these properties, the manual effort of constructing formal models makes it impractical for large-scale analysis. This paper introduces a key insight: BLE application security analysis can be reframed as a semantic translation …