Forma coverage.

OpenAI to limit weapons information for teens on ChatGPT in violence-prevention push By Reuters - Investing.com

OpenAI to limit weapons information for teenagers in ChatGPT — Channel NewsAsia - UA.NEWS

Bend 2: Is formal verification the future of AI coding? [video]

OpenAI to limit weapons information for teens on ChatGPT in violence-prevention push - WHTC

OpenAI to limit weapons information for teens on ChatGPT in violence-prevention push - WNWN-FM

OpenAI to limit weapons information for teens on ChatGPT in violence-prevention push - Yahoo

OpenAI to limit weapons information for teens on ChatGPT in violence-prevention push - Reuters

London's High Court dismisses Meta, TikTok, and X's challenge to Ofcom's Online Safety Act information requests, rejecting arguments they were disproportionate (Sam Tobin/Reuters)

Intel leaker reveals Moon Lake chip as a likely replacement for N-series SoCs — four lower-power-efficiency cores, no performance cores, and a 6W TDP

Massive GovTech breach leaks 42 million documents — including thousands packed with personal information

AMD PerfOpt Makes it Into Linux 7.4 As A Nice Performance Boost For AMD iGPUs

Police Scotland says it has received information on Jeffrey Epstein visit to Balmoral with Andrew

How a wave of startups are betting on AI to make formal software verification practical and essential, including &Truth, which launches with a $70M seed (Paresh Dave/Wired)

Paresh Dave / Wired : How a wave of startups are betting on AI to make formal software verification practical and essential, including &Truth, which launches with a $70M seed — A n…

Sources: DeepSeek doubled its latest round's size due to surging black market Nvidia Blackwell chip prices, with Chinese state-owned investors representing 27% (The Information)

Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge

'This is a training and trust problem, not an AI problem': Barely any workers are verifying information given to them by AI

RISC-V Has A Nice Portable Performance Optimization With Linux 7.4

Sources: Nvidia is in talks to provide Nscale with billions of dollars in credit guarantees for debt to develop a 460MW data center that Anthropic plans to use (Phoebe Liu/The Information)

7 Memorable Patrick Stewart Performances

Hegseth Fires General He Accused of Leaking Information to the News Media

Source: Dulo, a startup co-founded by Google veteran Sebastian Thrun to build "foundation models for hardware design", raised a $130M seed (Rocket Drew/The Information)

Nvidia CEO Reportedly Targeted By Suspected Chinese Informant

I changed 5 BIOS settings and improved my gaming PC’s performance without touching overclocking

AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura

Encryption Under Siege? OpenAI, Anthropic Disprove Key Cryptography Theorem - The Information

NVIDIA Vera Single vs. Dual Socket CPU Performance

Nvidia CEO Jensen Huang may have been the target of a spy plot through 'Chinese intelligence asset,' report claims — exec from firm under investigation for smuggling banned AI chips to China accused of being a spy, was also feeding information to Beijing

Linux 7.4 Networking Brings Hardware Pacing Offload, New Drivers & More Performance

Sources: DeepSeek and Moonshot AI heavily relied on GPT-6 Astra distillation to train models like Kimi K3.1 Pro and V4.1-Flash 1017, after Anthropic's crackdown (The Information)

Water companies' environmental performance 'deteriorates' further - regulators

DeepSeek, Moonshot used OpenAI’s GPT-6 Astra to train latest models, The Information reports By Reuters - Investing.com

DeepSeek, Moonshot used OpenAI's GPT-6 Astra to train models, The Information reports - TradingView

DeepSeek, Moonshot used OpenAI's GPT-6 Astra to train latest models, The Information reports - TradingView

DeepSeek, Moonshot used OpenAI's GPT-6 Astra to train latest models, The Information reports - Reuters

DeepSeek, Moonshot used OpenAI's GPT-6 Astra to train latest models, The Information reports - StreetInsider

OpenAI’s Astra used by Chinese AI firms to train models- The Information - Investing.com

Moonshot AI And DeepSeek Relied Outputs From OpenAI's Astra When Developing Their Latest Models Released This Month - The Information - TradingView

OpenAI’s Astra Model Becomes Top Distillation Target for China’s AI Labs - The Information

SteelSeries Sensei Pro Mini review: small in size, big in performance

Justice Dept. Turns Civil Rights Group’s Informant Against It

ServiceNow reports Q3 subscription revenue up 21% YoY to $3.99B, forecasts Q4 current remaining performance obligations below est.; NOW drops 15%+ after hours (Brody Ford/Bloomberg)

GoDaddy Says AI-Driven Cyberattack Exposed Website Customer Information

CachyOS vs. Fedora 45 vs. Ubuntu 26.10 Performance On AMD Ryzen 9

Foundry, a manufacturing-as-a-service startup that builds factories with robots powered by physical AI models, raised a $100M Series A led by Marlinspike (Rocket Drew/The Information)

Amazon Kindle Paperwhite and Kindle Colorsoft review: premium feel, lightweight, nice colors, and snappy performance, but expensive after price increases (Nena Farrell/Wired)

Judge grants yet more of Apple's requests for OpenAI information - AppleInsider

Judge grants yet more of Apple's requests for OpenAI information

Formaster.app – Turn PDF forms into reusable, fillable forms with AI

OpenAI plans to buy Google’s AI chips, The Information reports By Reuters - Investing.com

Sources: CXMT plans to start HBM3E production despite yields of just 20% to 30%; its HBM3E performance is closer to that of SK Hynix's previous-gen HBM3 chips (Reuters)

British Columbia privacy watchdog investigates OpenAI use of Tumbler Ridge shooter’s personal information - Courthouse News

OpenAI launches GPT-6.1 Terra with near-Astra performance at a fraction of the cost - Tech Edition

Sources: chipmaker Onsemi is in talks to acquire 16-year-old chip startup Ferric for ~$1B; PitchBook: Ferric last raised a $32.1M Series C in December 2024 (Valida Pau/The Information)

OpenAI plans to buy Google AI chips to expand computing capacity - The Information - Yahoo Finance

OpenAI plans to buy Google's AI chips, The Information reports - The Detroit News

OpenAI plans to buy Google AI chips to expand computing capacity - The Information - Investing.com

OpenAI plans to buy Google's AI chips, The Information reports - TradingView

OpenAI plans to buy Google's AI chips, The Information reports - Sacramento Bee

OpenAI plans to buy Google’s AI chips, The Information reports - WNWN-FM

OpenAI plans to buy Google's AI chips, The Information reports - Reuters