Tootfinder

Opinie: EU-relatie met Israël moet op de schop: de juridische rode lijn is allang voorbij
https://www.volkskrant.nl/columns-opinie/opinie-eu-relatie-met-israel-moet-op-de-schop-de-juridische…

Varanus: Runtime Verification for CSP
Matt Luckcuck, Angelo Ferrando, Fatma Faruq
https://arxiv.org/abs/2506.14426 https://arxiv.org/…

Varanus: Runtime Verification for CSP
Autonomous systems are often used in changeable and unknown environments, where traditional verification may not be suitable. Runtime Verification (RV) checks events performed by a system against a formal specification of its intended behaviour, making it highly suitable for ensuring that an autonomous system is obeying its specification at runtime. Communicating Sequential Processes (CSP) is a process algebra usually used in static verification, which captures behaviour as a trace of events, m…

Microsofts Open-Source-Kommandozeileneditor bringt einige Verbesserungen
Microsofts Open-Source-Editor Edit für die Eingabeaufforderung hüpft auf Stand 1.2.0. Die Entwickler haben Verbesserungen eingebaut.

Is it easy to regularize a hypergraph with easy links?
Lior Gishboliner, Asaf Shapira, Yuval Wigderson
https://arxiv.org/abs/2506.15582 https://

Is it easy to regularize a hypergraph with easy links?
A partition of a (hyper)graph is $\varepsilon$-homogenous if the edge densities between almost all clusters are either at most $\varepsilon$ or at least $1-\varepsilon$. Suppose a $3$-graph has the property that the link of every vertex has an $\varepsilon$-homogenous partition of size $\text{poly}(1/\varepsilon)$. Does this guarantee that the $3$-graph also has a small homogenous partition? Terry and Wolf proved that such a $3$-graph has an $\varepsilon$-homogenous partition of size given by a…

Sollte es jemals dazu kommen, dass der Verfassungsgerichtshof über ein Verbotsverfahren der AfD zu entscheiden hätte, wollen rechte Kräfte mit aller Kraft eine unbesteckliche, kompetente Richterin verhindern, die ganz dem Grundgesetz Deutschlands verpflichtet ist.
Gerade deshalb ist sie die richtige Kandidatin für die Nachbesetzung eines vakanten Sitzes im #Verfassungsgericht. 👍

Verbesserungen für Flüge mit dem iPhone: Apple Wallet sherlockt Flighty
Viele Nutzer stecken bereits jetzt ihre Bordkarte in die Apple Wallet. Künftig wird die deutlich intelligenter – was unabhängige Apps angreift.

Die #KägiFret-Werbung: Wenn die Verpixelung die Verpixelung verpixelt.

DSA-Verfahren der EU-Kommission: AliExpress muss nachbessern 
In ihrem DSA-Verfahren gegen den chinesischen Onlinemarktplatz AliExpress sieht die EU-Kommission noch deutlichen Verbesserungsbedarf.
htt…

Telematikinfrastruktur: Kassenärzte kritisieren verfehlte Verfügbarkeitsziele
Nach massiven Ausfällen rund um die Telematikinfrastruktur und ihre Dienste fordern Ärzte eine hochverfügbare Infrastruktur.

E-Patientenakte: Update verspricht Verbesserungen, Desktop-Version kommt wieder
Ein Update für die elektronische Patientenakte verspricht Verbesserungen. Außerdem kommt langsam die Desktop-Version zurück.