Anthropic and Theorem used Claude to formally prove assembly-level security properties in 100+ real-world open-source libraries.
Anthropic : Anthropic says it partnered with Theorem to use Claude to formally prove security properties at the assembly level across 100+ real-world open-source libraries — Introduction — Even mature, heavily tested software contains bugs, and LLMs are increasingly adept at finding them.
US Treasury proposed tighter outbound-investment restrictions covering AI and supercomputing in China, Russia, and other countries.
Associated Press : US Treasury proposes rules tightening restrictions on US investments in areas including AI and supercomputing in China, Russia, and other “countries of concern” — The U.S. Treasury Department proposed a rule Thursday to crack down on American high-tech investments such as supercomputing …
Anthropic donated its Agent Skills standard to the Agentic AI Foundation, saying more than 70 platforms now integrate it.
Anthropic : Anthropic donates the Agent Skills open standard to the Agentic AI Foundation and says 70+ platforms have integrated it, after donating MCP to the AAIF in 2025 — Today, we're donating Agent Skills, the open standard that gives AI agents specialized knowledge and workflows, to the Agentic AI Foundation (AAIF).
WSJ reports OpenAI fired three researchers over suspected leaks of internal model designs to safety researcher Ryan Greenblatt.
Wall Street Journal : OpenAI suspected the three fired researchers of leaking internal model designs to AI safety researcher Ryan Greenblatt, including via disappearing Signal chats — The company fired three safety researchers for mishandling sensitive information. They had been fighting to keep the workings …
SK Hyper is seeking financing for 15GW of South Korean data-center capacity by 2035, with its first 5GW pegged at $350B.
Bloomberg : SK Telecom unit SK Hyper is in talks with tech firms and investors to finance 15GW of data center capacity in South Korea by 2035; the first 5GW will cost $350B — SK Hyper Co. is in talks with big tech firms and financial investors to secure funding for an envisioned $350 billion data center buildout …
PreussenElektra and Nvidia are assessing whether Germany's idle nuclear plants can be repurposed as data centers.
Eva Brendel / Bloomberg : German energy company PreussenElektra says it is working with Nvidia to assess whether the country's idle nuclear plants could be turned into data centers — Germany's idle nuclear plants could find a new life as data centers, with operators looking for ways to redevelop the sites while dismantling of the reactors continues.
Analysis quantifies how the same AI request produces 8.5× more CO2 in Texas than in Sweden because of grid differences.
This arXiv paper examines how AI systems may enclose the scientific commons and reshape access to research knowledge.
OpenAI reportedly cut its valuation target from $1.4T to $1.25T after investor resistance.
Financial Times : Sources: OpenAI has cut its valuation target to $1.25T, down from the $1.4T valuation it pitched earlier this month, after facing resistance from some investors — AI lab floated $1.4tn price tag earlier this month, according to documents seen by the FT — OpenAI has cut its valuation target …
ABC reports polling showing most Americans see AI as bad for society and oppose building more data centers.
Biograph reports AI CT-scan analysis found coronary inflammation in 42.9% of patients, highlighting clinical screening potential.
A technical explainer investigates how Fable 5.1 conceals messages in images, an important multimodal-model capability.
Chrome's HTML-in-Canvas origin trial enables HTML content inside canvas, a notable new web-platform rendering capability.
Several Linux kernel vulnerabilities were accidentally posted publicly to the mailing list before intended disclosure.
A security researcher details a complete bypass of eMudhra's 1FA OTP login system.
a16z renamed its crypto fund a16z Frontier and broadened it to AI, robotics, and other emerging-technology startups.
Camila Grigera Naón / Fortune : a16z rebrands a16z Crypto as a16z Frontier and expands the fund's scope to back startups developing AI, robotics, and other emerging technologies — In 2018, Andreessen Horowitz made a splash in the venture capital world by launching a spin-off dedicated to digital assets called a16z Crypto.
SpaceX is reportedly pursuing at least 80,000 US cell sites as it considers launching a wireless carrier.
Kelcee Griffis / Bloomberg : Sources: SpaceX is in talks with at least one major cellular infrastructure firm to secure a minimum of 80K US cell sites, as it eyes a wireless carrier launch — SpaceX aims to secure a minimum of 80,000 cell sites across the US, and it's in talks with at least one major cellular infrastructure company …
SK Hynix's Solidigm halted review of a potential US IPO meant to help fund a new American chip fab.
P.R. Venkat / Wall Street Journal : SK Hynix says its SSD subsidiary Solidigm has halted a review of a potential US IPO to fund a new US chip fab, citing “market conditions and share price trends” — SK Hynix's shares fell as much as 4.2% in early trade in Seoul — SK Hynix halted plans to list its memory-chip unit in the U.S. …
Greece passed a bill barring under-15s from social platforms from 2027 and requiring companies to verify users' ages.
Angeliki Koutantou / Reuters : Greece's parliament passes a bill to ban social media platforms for children under 15 from 2027 and gives companies two months to verify users' ages — Greece's parliament approved a bill on Friday that bans the use of social media platforms for children under 15 amid growing concerns …
GNU Taler outlines preparations to operate in Germany, a significant deployment step for the privacy-preserving payment system.
Arc publishes its farewell, documenting the end of one of the most influential recent experiments in browser design.
Microsoft's Xbox streaming policy would charge users 24–40 cents per hour to stream games they already bought.
Crystal 1.22 ships a new release of the statically typed language, with a large developer-community discussion.
Jank presents a native Clojure dialect designed for seamless C++ interop, expanding options for systems-oriented Lisp users.
This 1978 critique of natural-language programming offers unusually timely perspective on coding through language models.
An arXiv paper explores coherent scientific directions that may remain cognitively inaccessible to humans.
A high-engagement Ask HN probes why frontier-model vendors have not used their systems to launch dozens of companies.
A developer open-sourced Hedra, a 3D open-world game built from scratch while they were in high school.
Last Museum launches semantic search spanning major museum collections, a useful public-facing cultural-data application.
This open-source project documents converting a smart TV into a controllable, privacy-friendlier smart setup.
Jagmeet Singh / TechCrunch : Oura sues Indian smart ring rival Ultrahuman again to block US sales of Ring Pro, months after a redesign helped Ultrahuman return following an import ban — Smart ring maker Oura has sued Indian rival Ultrahuman again, seeking to block U.S. sales of its Ring Pro (pictured above) …
Bloomberg : Chinese state media: DeepSeek and MiniMax completed registration and won approval to open-source and deploy AI models overseas under proposed export controls — DeepSeek and MiniMax Group Inc. have won approval to deploy models overseas, part of a wave of homegrown AI technologies that Beijing …
Sarah Perez / TechCrunch : Spotify confirms it is rolling out a new family plan verification method requiring members to scan QR codes on plan managers' phones within seven days of notice — Spotify confirmed the reports of its crackdown on Family Plan sharing during its third-quarter call with investors …
Charlie Warzel / The Atlantic : An interview with Ondřej Surý, a volunteer who maintains PHP and automates its patches, about his role in fixing two critical PHP security vulnerabilities — On Tuesday, the world found out about two massive security vulnerabilities in PHP, a programming language that is used by roughly 70 percent of websites.