Tootfinder

ISAAC: Intelligent, Scalable, Agile, and Accelerated CPU Verification via LLM-aided FPGA Parallelism
Jialin Sun, Yuchen Hu, Dean You, Yushu Du, Hui Wang, Xinwei Fang, Weiwei Shan, Nan Guan, Zhe Jiang
https://arxiv.org/abs/2510.10225

ISAAC: Intelligent, Scalable, Agile, and Accelerated CPU Verification via LLM-aided FPGA Parallelism
Functional verification is a critical bottleneck in integrated circuit development, with CPU verification being especially time-intensive and labour-consuming. Industrial practice relies on differential testing for CPU verification, yet faces bottlenecks at nearly each stage of the framework pipeline: front-end stimulus generation lacks micro-architectural awareness, yielding low-quality and redundant tests that impede coverage closure and miss corner cases. Meanwhile, back-end simulation infra…

Reddit starts a limited test of verified profiles, an opt-in feature that places a gray checkmark beside the usernames of notable people or businesses (Amanda Silberling/TechCrunch)
https://techcrunch.com/2025/12/10/reddit-is-testing-verification-badges/

Reddit is testing verification badges | TechCrunch
Verified users will actually be notable figures, not just people who paid for the checkmark.

Oh, das ist komplett an mir vorbeigegangen!
Ein sehr schönes beispiel dafür, dass «human in the loop» und «verantwortungsvoller umgang» nicht skalieren.
https://www.infosperber.ch/gesellschaft/das-rentier-mit-den-vielen-beinen-und-an…

Reddit starts a limited test of verified profiles, an opt-in feature that places a gray checkmark beside the usernames of notable people or businesses (Amanda Silberling/TechCrunch)
https://techcrunch.com/2025/12/10/reddit-is-testing-verification-badges/

Reddit is testing verification badges | TechCrunch
Verified users will actually be notable figures, not just people who paid for the checkmark.

Bin inzwischen auf dem QS-Tag angekommen, wo Kollege Markus Schlegel und ich morgen wieder mal erzählen, daß Testen keine Verifikation ist.
https://www.qs-tag.de/abstracts/testen-ist-heute-morgen-sind-formale-methoden

Clifford testing: algorithms and lower bounds
Marcel Hinsche, Zongbo Bao, Philippe van Dordrecht, Jens Eisert, Jop Bri\"et, Jonas Helsen
https://arxiv.org/abs/2510.07164 ht…

Clifford testing: algorithms and lower bounds
We consider the problem of Clifford testing, which asks whether a black-box $n$-qubit unitary is a Clifford unitary or at least $\varepsilon$-far from every Clifford unitary. We give the first 4-query Clifford tester, which decides this problem with probability $\mathrm{poly}(\varepsilon)$. This contrasts with the minimum of 6 copies required for the closely-related task of stabilizer testing. We show that our tester is tolerant, by adapting techniques from tolerant stabilizer testing to our se…

WhatsApp erhält automatische Übersetzung für Chats
Meta verpasst WhatsApp eine Funktion für die Übersetzung von Textnachrichten. Der Umfang der unterstützten Sprachen, speziell auf Android, ist übersichtlich.
https://…

Harness, which uses AI to automate code testing, verification, security, and governance, raised a $240M Series E led by Goldman Sachs at a $5.5B valuation (Jagmeet Singh/TechCrunch)
https://techcrunch.com/2025/12/11/harness-hits-5-5b-va…

Harness hits $5.5B valuation with $240M raise to automate AI's 'after-code' gap | TechCrunch
Goldman Sachs has led Harness's Series E round, with participation from IVP, Menlo Ventures, and Unusual Ventures.

Ring-Kameras: Suche in Videoaufzeichnungen nun für deutsche Kunden verfügbar
Das "Ring Smart Video Search"genannte Feature soll dank KI Ereignisse mittels einfacher Texteingabe finden.

On Cryptography and Distribution Verification, with Applications to Quantum Advantage
Bruno Cavalar, Eli Goldin, Matthew Gray, Taiga Hiroka, Tomoyuki Morimae
https://arxiv.org/abs/2510.05028

On Cryptography and Distribution Verification, with Applications to Quantum Advantage
One of the most fundamental problems in the field of hypothesis testing is the identity testing problem: whether samples from some unknown distribution $\mathcal{G}$ are actually from some explicit distribution $\mathcal{D}$. It is known that when the distribution $\mathcal{D}$ has support $[N]$, the optimal sample complexity for the identity testing problem is roughly $O(\sqrt{N})$. However, many distributions of interest, including those which can be sampled efficiently, have exponential supp…