Tootfinder

SemiAnalysis launches InferenceMAX, an open-source benchmark that automatically tracks LLM inference performance across AI models and frameworks every night (Kimbo Chen/SemiAnalysis)
https://newsletter.semianalysis.com/p/inferencemax-open-source-inference

InferenceMAX™: Open Source Inference Benchmarking
NVIDIA GB200 NVL72, AMD MI355X, Throughput Token per GPU, Latency Tok/s/user, Perf per Dollar, Tokens per Provisioned Megawatt, DeepSeek R1 670B, GPTOSS 120B, Llama3 70B

"A new bill renames the Cybersecurity Information Sharing Act of 2015 and would make its legal protections retroactive after its lapse."
Sen. Peters tries another approach to extend expired cyber threat information-sharing law
https://cyberscoop.com/gary-peters-cyb

Sen. Peters tries another approach to extend expired cyber threat information-sharing law
A new bill renames the Cybersecurity Information Sharing Act of 2015 and would make its legal protections retroactive after its lapse.

Belarus expands military infrastructure near Ukraine, may host Russian Oreshnik ballistic missiles: https://benborges.xyz/2025/09/10/belarus-expands-military-infrastructure-near.html

Compositional Inductive Invariant Inference via Assume-Guarantee Reasoning
Ian Dardik, Eunsuk Kang
https://arxiv.org/abs/2509.06250 https://arxiv.org/pdf/2…

Compositional Inductive Invariant Inference via Assume-Guarantee Reasoning
A common technique for verifying the safety of complex systems is the inductive invariant method. Inductive invariants are inductive formulas that overapproximate the reachable states of a system and imply a desired safety property. However, inductive invariants are notoriously complex, which makes inductive invariant inference a challenging problem. In this work, we observe that inductive invariant formulas are complex primarily because they must be closed over the transition relation of an en…

Our Home – Opus 6-10 #piano #improv https://muz4now.com/2023/our-home-opus-6-10-piano-improv

Our Home - Opus 6-10 #piano #improv
Stan Stewart - @muz4now

Bereits aus dem September:
Informatiker Hromkovič: "Unsere #Kinder sind nicht für die #digitaleWelt gerüstet"

IP-Basis PINNs: Efficient Multi-Query Inverse Parameter Estimation
Shalev Manor, Mohammad Kohandel
https://arxiv.org/abs/2509.07245 https://arxiv.org/pdf/2…

IP-Basis PINNs: Efficient Multi-Query Inverse Parameter Estimation
Solving inverse problems with Physics-Informed Neural Networks (PINNs) is computationally expensive for multi-query scenarios, as each new set of observed data requires a new, expensive training procedure. We present Inverse-Parameter Basis PINNs (IP-Basis PINNs), a meta-learning framework that extends the foundational work of Desai et al. (2022) to enable rapid and efficient inference for inverse problems. Our method employs an offline-online decomposition: a deep network is first trained offl…

Hands-on with Apple AirPods Pro 3: updated ANC system is impressive, foam ear tips are more comfortable but their fit and feel will take some getting used to (Billy Steele/Engadget)
https://www.engadget.com/audio/headphones/

Apple AirPods Pro 3 hands-on: Impressive ANC improvements
Apple really packed the updates into AirPods Pro 3. Here's our first look at the new earbuds.

ISMIE: A Framework to Characterize Information Seeking in Modern Information Environments
Shuoqi Sun, Danula Hettiachchi, Damiano Spina
https://arxiv.org/abs/2510.07644 https://…

ISMIE: A Framework to Characterize Information Seeking in Modern Information Environments
The modern information environment (MIE) is increasingly complex, shaped by a wide range of techniques designed to satisfy users' information needs. Information seeking (IS) models are effective mechanisms for characterizing user-system interactions. However, conceptualizing a model that fully captures the MIE landscape poses a challenge. We argue: Does such a model exist? To address this, we propose the Information Seeking in Modern Information Environments (ISMIE) framework as a fundamental s…

Helsinki-based DataCrunch, which aims to become Europe's first AI cloud hyperscaler, raised a €55M Series A, bringing its total funding to €76.5M (Tamara Djurickovic/Tech.eu)
https://tech.eu/2025/09/08/datacrunch-raises-eur5…

DataCrunch raises €55M to boost EU AI sovereignty with green cloud infrastructure
Helsinki-based DataCrunch, a provider of high-performance AI infrastructure, has raised €55 million in a Series A round to scale its compute platform and advance its ambition to become Europe’s first AI cloud hyperscaler.The round was led by byFounders, Skaala, Varma pension fund, and Tesi, with participation from J12 Ventures and angel investors. Debt financing came from Nordea and Armada Credit Partners, alongside Danske Bank, Norion Bank, and Local Tapiola. With this raise, DataCru…