Tootfinder

We accidentally wore a matching outfit for the first session of a new campaign.
Paul is wearing the tee I made at the start of the last campaign and I’m wearing the tee I made at the end of the same campaign.

"Russia's only real hope of winning this war is to convince the West to abandon Ukraine. " a key sentence from https://understandingwar.org/backgrounder/russian-offensive-campaign-assessment-may-25-2025 That is more an…

🔊 #NowPlaying on #BBCRadio3:
#RecordReview
- BBC Proms Composer: Arvo Pärt with Gillian Moore & Andrew McGregor
Andrew McGregor with the best new classical releases, and Gillian Moore picks five indispensable recordings of works by BBC Proms composer Arvo Pärt.
Relisten now 👇
https://www.bbc.co.uk/programmes/m002g1g9

User Understanding of Privacy Permissions in Mobile Augmented Reality: Perceptions and Misconceptions
Viktorija Paneva, Verena Winterhalter, Franziska Augustinowski, Florian Alt
https://arxiv.org/abs/2506.20207

User Understanding of Privacy Permissions in Mobile Augmented Reality: Perceptions and Misconceptions
Mobile Augmented Reality (AR) applications leverage various sensors to provide immersive user experiences. However, their reliance on diverse data sources introduces significant privacy challenges. This paper investigates user perceptions and understanding of privacy permissions in mobile AR apps through an analysis of existing applications and an online survey of 120 participants. Findings reveal common misconceptions, including confusion about how permissions relate to specific AR functionali…

Iterated jump noncomputability and compactness
Gavin Dooley
https://arxiv.org/abs/2506.20620 https://arxiv.org/pdf/2506.20620

Iterated jump noncomputability and compactness
We use reverse mathematics to analyze "iterated jump" versions of the following four principles: the atomic model theorem with subenumerable types (AST), the diagonally noncomputable principle (DNR), weak weak Kőnig's lemma (WWKL), and weak Kőnig's lemma (WKL). The logical relationships between these principles are summarized in Figure 1 and include, among other things, an infinite chain and an infinite antichain, the latter of which represents a strong form of non-linearity in terms of prova…

The CompGIT package: a computational tool for Geometric Invariant Theory quotie
Robert Hanson, Jesus Martinez-Garcia
https://arxiv.org/abs/2506.19431 https…

The CompGIT package: a computational tool for Geometric Invariant Theory quotie
We describe CompGIT, a SageMath package to describe Geometric Invariant Theory (GIT) quotients of projective space by simple groups. The implementation is based on algorithms described by Gallardo--Martinez-Garcia--Moon--Swinarski. In principle the package is sufficient to describe any GIT quotient of a projective variety by a simple group -- in practice it requires that the user can construct an equivariant embedding of the polarised variety into projective space. The package describes the non…

Tracking Trump’s Campaign Promises | AllSides
https://www.allsides.com/blog/tracking-trump-s-campaign-promises

Norwegen hält an Militärhilfe fest
Norwegen will die Militärhilfe und zivile Unterstützung für die Ukraine bis ins kommende Jahr hinein aufrechterhalten. Das sagte der norwegische Ministerpräsident Jonas Gahr StŸre am Montag bei einem gemeinsamen Presseauftritt mit dem ukrainischen Präsidenten Wolodymyr Selenskyj in Kiew.
Die Ukraine "verteidigt auf europäischer Ebene ein wichtiges Prinzip", indem …
🔗

USA: Was kann das Patriot-System?
Die Ukraine soll das Patriot-System bekommen. Was kann das US-amerikanische Flugabwehrsystem - und könnte es Russlands Krieg gegen die Ukraine verändern? Die wichtigsten Fragen und Antworten.

SafeTree: Expressive Tree Policies for Microservices
Karuna Grewal, P. Brighten Godfrey, Justin Hsu
https://arxiv.org/abs/2508.16746 https://arxiv.org/pdf/…

SafeTree: Expressive Tree Policies for Microservices
A microservice-based application is composed of multiple self-contained components called microservices, and controlling inter-service communication is important for enforcing safety properties. Presently, inter-service communication is configured using microservice deployment tools. However, such tools only support a limited class of single-hop policies, which can be overly permissive because they ignore the rich service tree structure of microservice calls. Policies that can express the servi…

〰️ Researchers make key gains in unlocking the promise of compact X-ray free-electron lasers
#laser

Researchers make key gains in unlocking the promise of compact X-ray free-electron lasers
New research by scientists from the U.S. Department of Energy's Lawrence Berkeley National Laboratory (Berkeley Lab), in collaboration with scientists from TAU Systems Inc., has brought the promise of smaller and more affordable X-ray free-electron lasers one step closer to reality.