Tootfinder

Sphere, which raised a $4.3M seed as an edtech marketplace, pivots and raised a $21M Series A led by a16z to develop an AI tax compliance software service (Dominic-Madori Davis/TechCrunch)
https://techcrunch.com/2025/11/18/a16z-leads-21m-series-…

a16z leads $21M Series A into AI-native tax compliance software Sphere | TechCrunch
Sphere helps automate registration, calculation, filing, and remittance obligations for companies.

President Trump files a 40-page amended $15B defamation complaint against the NYT and others, after a judge initially dismissed it on Sept. 19 due to its length (The Guardian)
https://www.theguardian.com/us-news/2025/oct/16/trump-new-york-times-defam…

Packers coach Matt LaFleur adds to MetLife turf complaints; league cites low injury rates https://www.nytimes.com/athletic/6815805/2025/11/18/packers-matt-lafleur-metlife-turf-complaints/

from my link log —
Compiler options hardening guide for C and C .
https://best.openssf.org/Compiler-Hardening-Guides/Compiler-Options-Hardening-Guide-for-C-and-C .html
saved 2025-11-15

CRTC consults to help Canadians resolve Internet, cellphone and television service complaints faster - Canada.ca
https://www.canada.ca/en/radio-television-teleco…

The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract)
Luca Aceto, Antonis Achilleos, Aggeliki Chalki, Anna Ing\'olfsd\'ottir
https://arxiv.org/abs/2509.14089

The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract)
This paper studies the complexity of determining whether a formula in the modal logics characterizing the nested-simulation semantics is characteristic for some process, which is equivalent to determining whether the formula is satisfiable and prime. The main results are that the problem of determining whether a formula is prime in the modal logic characterizing the 2-nested-simulation preorder is coNP-complete and is PSPACE-complete in the case of the n-nested-simulation preorder, when n>=3. T…

The Trump Phone Delivers on Its Promise of Being Complete and Utter Bullshit
https://gizmodo.com/the-trump-phone-delivers-on-its-promise-of-being-complete-and-utter-bullshit-2000701261

A Researcher Made an AI That Completely Breaks the Online Surveys Scientists Rely On: «We can no longer trust that survey responses are coming from real people," Westwood said in a press release. "With survey data tainted by bots, AI can poison the entire knowledge ecosystem.”»
It's not like online surveys were particularly reliable before 😂
https://www.404media.co/a-researcher-made-an-ai-that-completely-breaks-the-online-surveys-scientists-rely-on/

Computational complexity of Berry phase estimation in topological phases of matter
Ryu Hayakawa, Kazuki Sakamoto, Chusei Kiumi
https://arxiv.org/abs/2509.13423 https://

Computational complexity of Berry phase estimation in topological phases of matter
The Berry phase is a fundamental quantity in the classification of topological phases of matter. In this paper, we present a new quantum algorithm and several complexity-theoretical results for the Berry phase estimation (BPE) problems. Our new quantum algorithm achieves BPE in a more general setting than previously known quantum algorithms, with a theoretical guarantee. For the complexity-theoretic results, we consider three cases. First, we prove $\mathsf{BQP}$-completeness when we are given …

Opposition Filed Against DOJ Effort to Strike Context from Complaint About Qatar’s ‘Gifted’ Jet to Trump Administration - American Oversight
https://americanoversight.org/opposition-filed-against-doj-effort-to-strike-context-from-complaint-about-qatars-gifted-jet-to-trump-administration/