Tootfinder

Gov. Jared Polis considers clemency for Tina Peters as he begins final year in office in Colorado (Shaun Boyd/CBS News)
https://www.cbsnews.com/colorado/news/jared-polis-considers-clemency-tina-peters/
http://www.memeorandum.com/260109/p82#a260109p82

Trump EPA Nearly Doubles Amount of Formaldehyde Considered Safe to Inhale
The chemical industry finally got its wish.
Industry lobbyists have long pushed the federal government to adopt a less stringent approach to gauging the
💥cancer risk 💥from chemicals,
one that would help ease regulations on companies that make or use them.
Last week, in a highly unusual move,
👉the Environmental Protection Agency embraced that approach
in announcing that it is revi…

Under Former Chemical Industry Insiders, Trump EPA Nearly Doubles Amount of Formaldehyde Considered Safe to Inhale
Chemical industry lobbyists have long pushed the government to adopt a less stringent approach to gauging the cancer risk from chemicals, one that would help ease regulations on companies that make or use them.

ClauseLens: Clause-Grounded, CVaR-Constrained Reinforcement Learning for Trustworthy Reinsurance Pricing
Stella C. Dong, James R. Finlay
https://arxiv.org/abs/2510.08429 https:/…

ClauseLens: Clause-Grounded, CVaR-Constrained Reinforcement Learning for Trustworthy Reinsurance Pricing
Reinsurance treaty pricing must satisfy stringent regulatory standards, yet current quoting practices remain opaque and difficult to audit. We introduce ClauseLens, a clause-grounded reinforcement learning framework that produces transparent, regulation-compliant, and risk-aware treaty quotes. ClauseLens models the quoting task as a Risk-Aware Constrained Markov Decision Process (RA-CMDP). Statutory and policy clauses are retrieved from legal and underwriting corpora, embedded into the agent'…

Formalizing the zigzag construction of path spaces of pushouts
Vojt\v{e}ch \v{S}t\v{e}pan\v{c}\'ik
https://arxiv.org/abs/2510.08452 https://arxiv.org/p…

Formalizing the zigzag construction of path spaces of pushouts
A recent pre-print of Wärn gives a novel pen-and-paper construction of a type family characterizing the path spaces of an arbitrary pushout, and a natural language argument for its correctness. We present the first formalization of the construction and a proof that it is fiberwise equivalent to the path spaces. The formalization is carried out in axiomatic homotopy type theory, using the Agda proof assistant and the agda-unimath library.

Kimi Onoda, Japan's new Minister of State for Economic Security, is a 43 year old half-Irish ex-game industry PR femcel with an extensive history of defending her exclusive attraction to anime boys on twitter

Re “apply the pressure anyway:” that’s advice I got from…Keith Ellison.
I was part of a citizen group pressuring him to vote for the ACA when he was in the House. He met with us, and gave us an impassioned speech about universal care and how the ACA was a good first step but insufficient, relating it to the less-remembered civil rights acts of the 1950s that laid the groundwork for the big one in 1964.
Somebody from the group finally asked him, “Why are we meeting with you? You’re already convinced!”
He replied (paraphrasing here): “I •need• your pressure. I need it even if I already agree. If you’re pressuring me, then I can get on the floor of the House and say ‘My constituents are beating down the doors of my office! This has tremendous support!’ I can tell my colleagues in private about how agitated voters are. If you apply pressure, I can pass that pressure forward. I need you to do it! •That• is why you’re meeting with me.”
And now Keith Ellison is MN Attorney General. He’s already started doing the right thing. Follow his advice, and apply that pressure!

Quantum Advantage from Sampling Shallow Circuits: Beyond Hardness of Marginals
Daniel Grier, Daniel M. Kane, Jackson Morris, Anthony Ostuni, Kewen Wu
https://arxiv.org/abs/2510.07808

Quantum Advantage from Sampling Shallow Circuits: Beyond Hardness of Marginals
We construct a family of distributions $\{\mathcal{D}_n\}_n$ with $\mathcal{D}_n$ over $\{0, 1\}^n$ and a family of depth-$7$ quantum circuits $\{C_n\}_n$ such that $\mathcal{D}_n$ is produced exactly by $C_n$ with the all zeros state as input, yet any constant-depth classical circuit with bounded fan-in gates evaluated on any binary product distribution has total variation distance $1 - e^{-Ω(n)}$ from $\mathcal{D}_n$. Moreover, the quantum circuits we construct are geometrically local and us…

Nvidia announces the Alpamayo family of AI models, tools, and datasets for AVs, and details a collaboration with Mercedes-Benz on its first full-stack AV effort (Larry Dignan/Constellation Research)
https://www.constellationr.com/blog-news/i

A look at how Mercedes Benz, Nvidia collaborated on autonomous vehicles
Nvidia outlined its Alpamayo open AI models and datasets to bring reasoning to autonomous vehicles. At CES 2025, Nvidia CEO Jensen Huang said Mercedes Benz with Alpamayo will hit the road in the first quarter. Huang said Alpamayo and its collaboration with Mercedes Benz is its first full-stack effort for autonomous vehicles (AVs). The approach with Alpamayo revolves around reasoning-based vision language action (VLA) models that bring human thinking to autonomous vehicle designs. "Our vision is…

Quenching, Fast and Slow: Breaking Kibble-Zurek Universal Scaling by Jumping along Geodesics
Thi Ha Kyaw, Guillermo Romero, Gaurav Saxena
https://arxiv.org/abs/2510.08528 https:…

Quenching, Fast and Slow: Breaking Kibble-Zurek Universal Scaling by Jumping along Geodesics
A major drawback of adiabatic quantum computing (AQC) is fulfilling the energy gap constraint, which requires the total evolution time to scale inversely with the square of the minimum energy gap. Failure to satisfy this condition violates the adiabatic approximation, potentially undermining computational accuracy. Recently, several approaches have been proposed to circumvent this constraint. One promising approach is to use the family of adiabatic shortcut procedures to fast-forward AQC. One c…