Conditional Lean formalization and numerical certificate for prime gaps at most 186. - openai/PrimeGaps186

GPT-6 Astra makes significant gains in the Artificial Analysis Coding Agent Index, scoring equal to Fable 5 at lower cost. In the Intelligence Index, it uses fewer tokens than GPT-5.6 Sol for similar performance, but this is outweighed by higher prices

OpenAI's GPT-6 Astra reaches state-of-the-art results on ARC-AGI-3

How San Francisco turned its most iconic street into a giant empty scar.

Starting 2027, Google will block apps on Android devices whose developers have not registered with Google, paid, and given their ID. It’s fair to say that Google is becoming Apple: Your device, their rules.

WASHINGTON, Sept. 3 — Sen. Bernie Sanders (I-Vt.) and Rep. Greg Casar (D-Texas) today announced the Ban Artificial Superintelligence Act, forthcoming legislation to stop AI oligarchs from building machines humans cannot control. The Ban Artificial Superintelligence…

We watched almost 17k sessions across different types of personas, with 1,163 prompt variations, 75 repositories and 3 coding agents (Claude Code, Codex, Cursor) actually implementing the solutions instead of just recommending one.

A lot of the educators I admire in the frontend web space seem to be either bowing out or dialing back their efforts: Axel Rauschmayer, Salma Alam-Naylor, Josh W. Comeau, to name a few. Other well-…

Lessons from aviation and nuclear power show how to preserve human skills

Two recent studies have suggested that GLP-1 drugs can reduce the occurrence or severity of certain infections.

Like I wrote, september has started with my disappointment with 1password. As I was expecting, I got a reply to my email at the support team. Here’s what they have told me. Hello Nicola, Than…

Retrospective on Project Xanadu’s success and failure: a lack of design iteration, meaningful use-cases, or practicality stopped a valuable vision from maturing into something useful. (And contrasted with my approach.)

The condition, linked to heat on a warming planet, is affecting immigrants from Central America and Mexico. As scientists race to track the growing epidemic, its victims have been driven further into the shadows.

I compared grep with LSP-backed semantic navigation across code-finding and editing tasks. The results show why a tool's LLM-friendliness may matter as much as the capability behind it.

From the very beginning of this recent obsession with identifying everyone online (yes, they like to call it “age” verification, but it always ends up as identity verification), we&#821…

The cleanest hour should be the cheapest. A live daily measurement of the CO₂ that carbon-aware electricity pricing would save.

The history of the Raspberry Pi as an interactive timeline: every model, milestone and company event from 2006 to today, each with its original source.

Or: Why do I always do things the hard way?