No slop · no ads · daily
Senators Ron Wyden and Adam Schiff say the administration is withholding a March FISA court ruling that faulted search filters letting analysts pull Americans' messages from Section 702 data without the approvals the law requires — even though its own 180-day release deadline passed Sept. 13. Officials meanwhile want Congress to renew the lapsed program by year-end.
Alphabet reports Q3 earnings Wednesday on the heels of fresh signs of TPU demand: Oracle will offer Google's in-house AI chips in its cloud, and OpenAI, a longtime Nvidia customer, plans to buy them. Google's tensor processing units are turning into a real challenger to Nvidia's GPUs.
A team led out of Axiom Math has formalized the full first-generation proof of the classification of finite simple groups — thousands of journal pages written by about a hundred mathematicians over decades — in 43 million lines of Lean, every step checked by the kernel. Along the way they found counterexamples to a claim in a published route to the Unbalanced Group Theorem and wrote up an alternative argument.
The Fed under Chair Kevin Warsh is expected to hold its key rate near 3.9% on Wednesday, a month after its first hike in three years, even as higher oil and gas prices push inflation up. Warsh's press conference will be read for hints of a December hike, which Wall Street already expects.
