Tootfinder

🛡️ DAY 3 at GÉANT #SecurityDays | Thank you!
A huge thank you to 160 participants from 28 countries! With strong female representation and 63 unique organisations, Security Days was more than just an event—it was a community in action.
We closed with a thought-provoking plenary on #AI, digit…

Musk's Own AI Claims He Took Miller's Wife and Mocked Him for It (Ewan Palmer/The Daily Beast)
https://www.thedailybeast.com/musk-trashes-his-own-ai-over-embarrassing-post-about-him-taking-stephen-millers-wife/
http://www.memeorandum.com/250609/p69#a250609p69

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

Simplifying explicit subtyping coercions in a polymorphic calculus with effects
Algebraic effect handlers are becoming an increasingly popular way of structuring effectful computations, and their performance is often a concern. One of the proposed approaches towards efficient compilation is tracking effect information through explicit subtyping coercions. However, in the presence of polymorphism, these coercions are compiled into additional arguments of compiled functions, incurring significant overhead. In this paper, we present a polymorphic effectful calculus, identify …

Bootstrapping form factor squared in ${\cal N}=4$ super-Yang-Mills
Song He, Xiang Li, Jingwen Lin, Jiahao Liu, Kai Yan
https://arxiv.org/abs/2506.07796 htt…

Bootstrapping form factor squared in ${\cal N}=4$ super-Yang-Mills
We propose a bootstrap program for the {\it form factor squared} with operator ${\rm tr}(ϕ^2)$ in maximally supersymmetric Yang-Mills theory in the planar limit, which plays a central role for perturbative calculations of important physical observables such as energy correlators. The tree-level $N$-point form factor (FF) squared can be obtained by cutting $N$ propagators of a collection of two-point ``master diagrams" at $(N{-}1)$ loops: for $N=3,4,5,6$ there are merely $1, 2, 4, 13$ topologie…

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

A Skeleton-Based Topological Planner for Exploration in Complex Unknown Environments
The capability of autonomous exploration in complex, unknown environments is important in many robotic applications. While recent research on autonomous exploration have achieved much progress, there are still limitations, e.g., existing methods relying on greedy heuristics or optimal path planning are often hindered by repetitive paths and high computational demands. To address such limitations, we propose a novel exploration framework that utilizes the global topology information of observed …

Enumerating planar stuffed maps as hypertrees of mobiles
Nathan Pagliaroli
https://arxiv.org/abs/2506.06086 https://arxiv.org/pdf/250…

Enumerating planar stuffed maps as hypertrees of mobiles
A planar stuffed map is an embedding of a graph into the 2-sphere $S^{2}$, considered up to orientation-preserving homeomorphisms, such that the complement of the graph is a collection of disjoint topologically connected components that are each homeomorphic to $S^{2}$ with multiple boundaries. This is a generalization of planar maps whose complement of the graph is a collection of disjoint topologically connected components that are each homeomorphic to a disc. In this work, we construct a bij…

I've read this story a couple of times, though it's been many years. It's maybe not the first King story I'd have thought of making a movie from. And Mark Hamill as the Major? interesting choice.
https://www.imdb.com/title/tt10374610/?ref_=fn_all_ttl_1

The Long Walk (2025) | Horror
The Long Walk: Directed by Francis Lawrence. With Garrett Wareing, Mark Hamill, Judy Greer, Charlie Plummer. A group of teenage boys compete in an annual contest known as "The Long Walk," where they must maintain a certain walking speed or get shot.

To Protect the LLM Agent Against the Prompt Injection Attack with Polymorphic Prompt
Zhilong Wang, Neha Nagaraja, Lan Zhang, Hayretdin Bahsi, Pawan Patil, Peng Liu
https://arxiv.org/abs/2506.05739

To Protect the LLM Agent Against the Prompt Injection Attack with Polymorphic Prompt
LLM agents are widely used as agents for customer support, content generation, and code assistance. However, they are vulnerable to prompt injection attacks, where adversarial inputs manipulate the model's behavior. Traditional defenses like input sanitization, guard models, and guardrails are either cumbersome or ineffective. In this paper, we propose a novel, lightweight defense mechanism called Polymorphic Prompt Assembling (PPA), which protects against prompt injection with near-zero overhe…

Improving Long-Range Navigation with Spatially-Enhanced Recurrent Memory via End-to-End Reinforcement Learning
Fan Yang, Per Frivik, David Hoeller, Chen Wang, Cesar Cadena, Marco Hutter
https://arxiv.org/abs/2506.05997

Improving Long-Range Navigation with Spatially-Enhanced Recurrent Memory via End-to-End Reinforcement Learning
Recent advancements in robot navigation, especially with end-to-end learning approaches like reinforcement learning (RL), have shown remarkable efficiency and effectiveness. Yet, successful navigation still relies on two key capabilities: mapping and planning, whether explicit or implicit. Classical approaches use explicit mapping pipelines to register ego-centric observations into a coherent map frame for the planner. In contrast, end-to-end learning achieves this implicitly, often through rec…

Coulomb Branch and Integrability
Frank Coronado, Shota Komatsu, Konstantin Zarembo
https://arxiv.org/abs/2506.07222 https://arxiv.org…

Coulomb Branch and Integrability
We study one-point functions of non-BPS single-trace operators on the Coulomb branch of planar $\mathcal{N}=4$ supersymmetric Yang-Mills theory. Holography relates them to overlaps between on-shell closed string states and a boundary state describing a probe D3-brane in $AdS_5\times S^{5}$. Assuming that the D-brane preserves integrability, we formulate and solve integrable bootstrap equations satisfied by the boundary state at finite 't Hooft coupling. This leads to a closed-form determinant e…