Tootfinder

Apples neue iOS-26-UI: Usability-Probleme und Vista-Nostalgie
Liquid Glass, Apples neues Interface, ist auf dem iPhone eine größere Umstellung als gedacht. Die Beta hakt – und führt zu scherzhaften Microsoft-Vergleichen.

A federal appeals court denies Trump's request for a rehearing in the E. Jean Carroll case, where he was found liable in 2023 for sexual abuse and defamation (Graham Kates/CBS News)
https://www.cbsnews.com/news/appeals-court

Trump can keep National Guard deployed to Los Angeles for now, appeals court rules (Reuters)
https://www.reuters.com/world/us/trump-can-keep-national-guard-deployed-los-angeles-now-appeals-court-rules-2025-06-13/
http://www.memeorandum.com/250613/p2#a250613p2

An interview with Craig Federighi on the new multitasking UI in iPadOS 26, problems with Stage Manager, and why the iPad's Mac-style multitasking took so long (Andrew Cunningham/Ars Technica)
https://arstechnica.com/gadgets/2025/0

Apple’s Craig Federighi on the long road to the iPad’s Mac-like multitasking
Federighi talks to Ars about why the iPad’s Mac-style multitasking took so long.

Kyle Liu is the Head of Engineering at Mercari, a second-hand e-commerce marketplace based in Japan. His team has been using Elastic Search for retrieval and DNN Learning to Rank for ranking for a long time. At #bbuzz, he will discuss how they re-architected their search system in response to developments in deep learning and LLM, and how they successfully convinced internal stakeholders to adopt new…

Der Mann, der Apples Kronjuwelen programmierte: Zum Tod von Bill Atkinson
Der Apple-Pionier und Naturfotograf Bill Atkinson ist Anfang Juni an den Folgen einer Krebserkrankung gestorben. Er wurde 74 Jahre alt.

Notes on applicative matching logic
Laurentiu Leustean
https://arxiv.org/abs/2506.10088 https://arxiv.org/pdf/2506.10088

Notes on applicative matching logic
Matching logic (ML) was developed by Grigore Roşu and collaborators as a logic for defining the formal semantics of programming languages and for specifying and reasoning about the behavior of programs. These lecture notes present basic definitions and results on applicative matching logic (AML), a functional variant of ML introduced recently by Xiaohong Chen and Grigore Roşu. They can be used as an introductory text in the theory of AML. Monk's textbook on mathematical logic has an enormous …

Trump keeps control of National Guard in LA for now • Washington State Standard
https://washingtonstatestandard.com/2025/06/13/repub/trump-keeps-control-of-california-national-guard-in-la-for-now-after-appeals-court-order/

Slogan ideas welcome too. A few I've been thinking of:
- "Impeach Trump/Abolish ICE/Abolish DHS" - simple, helps build momentum towards at least one specific demand which IMO the movement could use pretty soon.
- "If you separate my family I'll separate yours/As you ride to snatch children are yours safe at home?" - maybe too many words, but inspires fear/defection in ICE other troops, which IMO the movement needs more of. Hopefully too vague to be a criminal threat or incitement (especially version with the conditional?).

Liquid Glass in iOS 26: Apple erlaubt Reduktion der Durchsichtigkeit
Wem Apples neue iPhone-UI zu glasig ist, kann den Effekt reduzieren. Gedacht ist dies zunächst für Sehbehinderte, das Feature steht aber für alle bereit.