Tootfinder

Vorbestellstart beim iPhone: 17 Pro Max ist Favorit, Air meist sofort verfügbar
Am Freitagnachmittag konnten die neuen iPhones vorbestellt werden. Eindeutiger Favorit: das iPhone 17 Pro Max. In China hat Apple den Start des Air verschoben.

YouTube plans to start testing an age verification system in the US that uses AI to differentiate between adults and minors, first with a small number of users (Michael Liedtke/Associated Press)
https://apnews.com/article/youtube-video-age-ve…

YouTube testing a new age verification system in the U.S.
YouTube is ready to start testing a new age-verification system in the U.S. using artificial intelligence to distinguish between adults and minors based on their viewing habits. The tests, scheduled to being Wednesday, initially affect a small portion of YouTube's U.S. audience. If successful, the system could become more widespread. It works when viewers are logged into their accounts, regardless of the birth date entered. If flagged as under 18, users face restrictions like privacy warnings a…

Optimal convergence rates in multiscale elliptic homogenization
Weisheng Niu, Yao Xu, Jinping Zhuge
https://arxiv.org/abs/2509.09410 https://arxiv.org/pdf/…

Optimal convergence rates in multiscale elliptic homogenization
This paper is devoted to the quantitative homogenization of multiscale elliptic operator $-\nabla\cdot A_\varepsilon \nabla$, where $A_\varepsilon(x) = A(x/\varepsilon_1, x/\varepsilon_2,\cdots, x/\varepsilon_n)$, $\varepsilon = (\varepsilon_1, \varepsilon_2,\cdots, \varepsilon_n) \in (0,1]^n$ and $\varepsilon_i > \varepsilon_{i+1}$. We assume that $A(y_1,y_2,\cdots, y_n)$ is 1-periodic in each $y_i \in \mathbb{R}^d$ and real analytic. Classically, the method of reiterated homogenization has be…

Wyoming and South Dakota Age Verification Laws Could Include Huge Parts of the Internet https://www.404media.co/wyoming-and-south-dakota-age-verification-laws/

Runtime Verification for LTL in Stochastic Systems
Javier Esparza, Vincent Fischer
https://arxiv.org/abs/2508.07963 https://arxiv.org/pdf/2508.07963…

Runtime Verification for LTL in Stochastic Systems
Runtime verification encompasses several lightweight techniques for checking whether a system's current execution satisfies a given specification. We focus on runtime verification for Linear Temporal Logic (LTL). Previous work describes monitors which produce, at every time step one of three outputs - true, false, or inconclusive - depending on whether the observed execution prefix definitively determines satisfaction of the formula. However, for many LTL formulas, such as liveness properties, …

Bluesky says it will comply with age-verification laws in South Dakota and Wyoming because they strike the "right balance", after exiting Mississippi (Sarah Perez/TechCrunch)
https://techcrunch.com/2025/09/10/blue

Bluesky will comply with age-verification laws in South Dakota and Wyoming after exiting Mississippi | TechCrunch
Bluesky says the age-verification laws strike "the right balance," so it won't have to exit the states as it did in Mississippi.

PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C
Pedro Orvalho, Marta Kwiatkowska
https://arxiv.org/abs/2508.08171 https://

PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C
Python has become the dominant language for general-purpose programming, yet it lacks robust tools for formal verification. In contrast, programmers working in languages such as C benefit from mature model checkers, for example CBMC, which enable exhaustive symbolic reasoning and fault localisation. The inherent complexity of Python, coupled with the verbosity and low-level nature of existing transpilers (e.g., Cython), have historically limited the applicability of formal verification to Pytho…

The Exact $\varepsilon$-Hypercyclicity Threshold
Geivison Ribeiro
https://arxiv.org/abs/2509.09406 https://arxiv.org/pdf/2509.09406

The Exact $\varepsilon$-Hypercyclicity Threshold
In this paper we give an affirmative answer to the problem proposed by Bayart in 2024 \cite{Bayart2024JMAA}: given $\varepsilon\in(0,1)$, there exists an operator which is $δ$-hypercyclic if and only if $δ\in[\varepsilon,1)$.

A Bourgain-Brezis-Mironescu result for fractional thin films
Andrea Braides, Margherita Solci
https://arxiv.org/abs/2508.08874 https://arxiv.org/pdf/2508.0…

A Bourgain-Brezis-Mironescu result for fractional thin films
We consider the limit of squared $H^s$-Gagliardo seminorms on thin domains of the form $Ω_\varepsilon=ω\times(0,\varepsilon)$ in $\mathbb R^d$. When $\varepsilon$ is fixed, multiplying by $1-s$ such seminorms have been proved to converge as $s\to 1^-$ to a dimensional constant $c_d$ times the Dirichlet integral on $Ω_\varepsilon$ by Bourgain, Brezis and Mironescu. In its turn such Dirichlet integrals divided by $\varepsilon$ converge as $\varepsilon\to 0$ to a dimensionally reduced Dirichlet…

Bluesky says it will comply with age-verification laws in South Dakota and Wyoming because they strike the "right balance", after exiting Mississippi (Sarah Perez/TechCrunch)
https://techcrunch.com/2025/09/10/blue

Bluesky will comply with age-verification laws in South Dakota and Wyoming after exiting Mississippi | TechCrunch
Bluesky says the age-verification laws strike "the right balance," so it won't have to exit the states as it did in Mississippi.