Tootfinder

China approves Synopsys' acquisition of simulation software company Ansys, after the US lifted restrictions on chip design software sales to China (Reuters)
https://www.reuters.com/world/china/china-grants-conditional-approval-syno…

DOGE Cuts: House approves Trump's request to cut funding for NPR, PBS and foreign aid - ABC7 New York
https://abc7ny.com/post/doge-cuts-house-approves-trumps-request-cut-funding-npr-pbs-foreign-aid/16734522/

Trump wields his ‘secret weapon’: College accreditation
Trump and his allies are using college accreditation to exert pressure on colleges and universities,
an effort that threatens the independence of accreditors and the stability of the institutions they approve.

Accrediting agencies, which have existed for more than a century, determine whether colleges meet standards of quality
by evaluating every aspect of their finances, operations and student achievement.

Trump wields his ‘secret weapon’: College accreditation
The administration is trying to make good on Trump’s campaign promise to use accreditation, a critical stamp of approval for colleges, to remake higher education.

Arabic news channel Alhurra has replaced its programming with an image accusing the USAGM of illegally withholding Congress-approved funding for its parent MBN (Matthew Keys/The Desk)
https://thedesk.net/2025/06/alhurra-calls-out-usagm-funding-cuts/

Alhurra calls out U.S. Agency for Global Media over funding cuts
The Arabic-language satellite TV channel said the federal agency is "illegally withholding" Congressionally-approved funds for its broadcast operations.

from my link log —
Emacs which-key vs Embark for help on prefix keymaps.
https://www.matem.unam.mx/~omar/apropos-emacs.html#the-case-against-which-key-a-polemic
saved 2025-07-08

A voice for minorities: diversity in approval-based committee elections under incomplete or inaccurate information
Feline Lindeboom, Martijn Brehm, Davide Grossi, Pradeep Murukannaiah
https://arxiv.org/abs/2506.10843

A voice for minorities: diversity in approval-based committee elections under incomplete or inaccurate information
We study diversity in approval-based committee elections with incomplete or inaccurate information. As standard in the literature on approval-based multi-winner voting, we define diversity according to the maximum coverage problem, which is known to be NP-complete, with a best attainable polynomial time approximation ratio of $1-1/\e$. In the incomplete information model, voters can vote on only a small portion of the candidates. We suggest a greedy algorithm and a local search algorithm that q…

House committee sets CISA budget cut at $135M, not Trump’s $495M
https://cyberscoop.com/cisa-budget-135m-dhs-2026-house-appropriations/

House committee sets CISA budget cut at $135M, not Trump’s $495M
A House panel approved a fiscal 2026 funding bill Monday that would cut the Cybersecurity and Infrastructure Security Agency by $135 million from fiscal 2025, significantly less than the Trump administration’s proposed $495 million.

Sources: China delays approval of Synopsys' Ansys deal as the US moved in late May to ban chip design software sales by US firms, including Synopsys, to China (Financial Times)
https://www.ft.com/content/762b1818-795d-4270-b6cc-5d902d8bc0a8

China delays approval of $35bn US chip merger amid Donald Trump’s trade war
Beijing’s antitrust regulator postpones sign-off on Synopsys and Ansys deal

Stanford study: LLMs struggle to respond appropriately to questions about delusions, suicide, and OCD, but AI could play valuable supportive roles to therapists (Benj Edwards/Ars Technica)
https://arstechnica.com/ai/2025/07/ai-

AI therapy bots fuel delusions and give dangerous advice, Stanford study finds
Popular chatbots serve as poor replacements for human therapists, but study authors call for nuance.

President Trump says a trade framework with China "is done, subject to final approval with President Xi and me", and the US tariff rate would be 55% "total" (Bloomberg)
https://www.bloomberg.com/news/articles/20