Tootfinder

Sources: Atticus, a stealthy stablecoin banking startup, is in advanced talks to raise new funding led by Palmer Luckey at a valuation of between $1.5B and $2B (Axios)
https://www.axios.com/pro/all-deals/2025/05/30/andurils-palmer-…

Scoop: Anduril's Palmer Luckey to invest in stealthy stablecoin startup
The new funding would value Atticus at between $1.5 billion and $2 billion.

Today's solar activity - #Sun

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

Thermodynamic Favorability of the 1T Phase over the 1H Phase in Group III Metal Monochalcogenide Zigzag Nanoribbons
Owing to the promising optoelectronic and thermoelectric properties of two-dimensional (2D) group III-VI materials (MXs), their nanoribbons (NRs) have attracted notable attention as an emerging class of quasi-one-dimensional (quasi-1D) nanostructures. Due to the fact that the most stable 2D monolayer polymorph of MXs is the 1H phase, to date, existing studies in the literature have predominantly focused on the NRs formed from 1H phase MXs. Nevertheless, NRs of the 1T phase have received little …

"Hard to believe, but it has been already almost 20 years since the days when Apple plastered the halls of its Worldwide Developer Conference (WWDC) with huge posters proclaiming “Redmond, start your photocopiers” or “Mac OS X Leopard: Hasta la vista, Vista”. The decade of the 2000s, coinciding with Steve Ballmer’s tenure as CEO, is widely perceived as a lost one for Microsoft, and one of the most visible signs of that decline was, without a doubt, the “Longhorn” saga."

Dave Plummer
Hard to believe as it is, it has been already almost 20 years since the days when Apple plastered the halls of its Worldwide Developer Conference (WWDC) with huge posters proclaiming "Redmond, start your photocopiers" or "Mac OS X Leopard: Hasta la vista, Vista". The decade of the 2000s, coinciding with Steve Ballmer’s tenure as CEO, is widely perceived as a lost one for Microsoft, and one of the most visible signs of that decline was, without a doubt, the "Longhorn" saga.

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

USPilot: An Embodied Robotic Assistant Ultrasound System with Large Language Model Enhanced Graph Planner
In the era of Large Language Models (LLMs), embodied artificial intelligence presents transformative opportunities for robotic manipulation tasks. Ultrasound imaging, a widely used and cost-effective medical diagnostic procedure, faces challenges due to the global shortage of professional sonographers. To address this issue, we propose USPilot, an embodied robotic assistant ultrasound system powered by an LLM-based framework to enable autonomous ultrasound acquisition. USPilot is designed to fu…

from my link log —
Parametric subtyping for structural parametric polymorphism.
https://blog.sigplan.org/2025/01/29/parametric-subtyping-for-structural-parametric-polymorphism/
saved 2025-02-02

EILMELDUNG
Brückenbauexperte fordert keine Denkverbote beim Neubau der #Carolabrücke!
htt…

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

Compactifications of phylogenetic systems and species of electrical networks
We describe new spaces and maps. Our graphical map is a visual and numerical correspondence between spaces of circular electrical networks and circular planar split systems. When restricted to the planar circular electrical case, this graphical map finds the split system uniquely associated with the Kalmanson resistance distance of the dual network, matching the induced split system familiar from phylogenetics. This correspondence is extended to compactifications of the respective spaces, takin…

1/ Watched more #openhouse with C again last night (series 3 episodes 1 and 2). It’s common that only one of the partners in the relationship really wants to be there - and the other is going along with it to people please, and out of fear of losing the other one.
I think the reasons and motivations for going into

Securing AI Agents with Information-Flow Control
Manuel Costa, Boris K\"opf, Aashish Kolluri, Andrew Paverd, Mark Russinovich, Ahmed Salem, Shruti Tople, Lukas Wutschitz, Santiago Zanella-B\'eguelin
https://arxiv.org/abs/2505.23643

Securing AI Agents with Information-Flow Control
As AI agents become increasingly autonomous and capable, ensuring their security against vulnerabilities such as prompt injection becomes critical. This paper explores the use of information-flow control (IFC) to provide security guarantees for AI agents. We present a formal model to reason about the security and expressiveness of agent planners. Using this model, we characterize the class of properties enforceable by dynamic taint-tracking and construct a taxonomy of tasks to evaluate security…