A Misalignment of AI in Mathematics
I am proud to be among the list of 25 initial signatories — all Fields Medallists — to the declaration below, which grew out of discussions between ourselves over the last week. We have…
Yesterday
Measuring the sloppiness of code
Exploring how to measure code sloppiness, why correct code can still erode a codebase, and why human intuition and taste still matter.
Google will buy half the electricity from one of Finland's nuclear power plants
The US tech giant says the €13bn data centre project will create tens of thousands of jobs.
Rune is now open source
Rune is now open source under the GPLv3. A native, keyboard-driven IDE written primarily in Go is ready for Go developers to inspect, change, and help build.
Global Glacier Extinction Explorer
Interactive map Global Glacier Extinction Explorer ℹ︎ About Controls Reset Collapse Active scenario Find glacier Basemap Show place names and boundaries Glacier overlay Show glacier layer Show glacier outline on hover Show glacier details on hover How to explore Navigate the map to discover glaciers worldwide. Select a warming scenario to see how projected extinction years shift under different futures. Hover over a glacier for a quick summary, or click it to explore its full profi
118M Queries per Second on Neki
We ran a massive, sharded Postgres database at 118.5 million queries per second, with 200k queries per second on each shard across 512 shards.
YuE2 · Frontier Music with Symbolic Planning
YuE2 unifies symbolic and audio music generation at frontier quality. Symbolic planning turns lyrics and style into an editable score, then a full song with vocals and accompaniment.
This Week
The Deathray: A simple way for an untrusted site to freeze a Mac
The Deathray A simple way for an untrusted site to freeze a Mac September 10th, 2026 TL;DR A WebGPU shader on an untrusted site can hang a Mac's graphics, making the desktop UI unusable until a restart is forced. All the victim needs to do is click a link. This issue reproduces cross-browser on MacOS, but not other OSes. Try the Deathray! THE BELOW BUTTON WILL FREEZE YOUR MAC. IT MAY SLOW OTHER OSes On other OSes I've tested, it causes the tab to freeze and things to chug but once you close the
OpenAI’s Navier-Stokes release included a Lean 4 formal proof
When OpenAI released their proof that solutions to the Navier-Stokes equations can blow up in finite time, they also released a formal proof in Lean 4.
Navier-Stokes – Tristan Buckmaster [pdf]
Further discussion: https://simonwillison.net/2026/Sep/8/on-navier-stokes/, https://news.ycombinator.com/item?id=49621697
Hitachi launches CO2 heat pump water heaters with solar-friendly tariff controls
Hitachi has introduced its Y-series EcoCute CO2 heat pump water heaters in Japan, with 370-liter and 460-liter models set to launch from November 2026. The upgraded range adds expanded support for daytime electricity tariffs and PV-linked energy management, alongside a five-year manufacturer warranty.
Tao: Open math problems being non-renewably mined by AI
I wrote recently about how the collection of good, fruitful open problems is now being mined in a non-renewable fashion, leading to the potential scenario of these problems becoming scarce. This may seem unintuitive at first, since the set of possible problems one could ask is infinite. Perhaps the following analogy can help: a country or region can suffer a critical shortage of drinking water while simultaneously being surrounded by a massive ocean. One can easily generate any number of open
DeepSeek launching v4.1 flash cheaper and more capable than v4 pro
DSeek plans to officially release the V4.1 Flash model around September 10, 2026 (Beijing Time). After extensive internal and external testing, V4.1 Flash has comprehensively surpassed V4 Pro across all key metrics, including performance, cost, speed, and task completion time. In keeping with our commitment to user responsibility, following the official launch of V4.1 Flash and prior to the release of V4.1 Pro, all requests to the Pro model will be routed to V4.1 Flash and billed at Flash's price. If you encounter any issues during your comparative testing between V4 Pro and V4.1 Flash, please do not hesitate to reach out to us with your feedback. Thank you for your support!We will adjust the pricing for the Flash series effective from 12:00 Beijing Time on September 10, 2026. During off-peak hours, the unit price will be $0.003 for input cache hits, $0.15 for input cache misses, and $0.6 for output. Peak-hour prices will be double the off-peak rates. Please plan your usage accordingly.
GPT-6 Astra, looped transformers, and hidden reasoning
A Look at Recurrent Depth, Hidden Chains of Thought, and Recent Research on Looping Transformer Blocks
LG smart TVs caught logging audio with screen off and snooping on local devices
https://www.youtube.com/watch?v=6IFVTcM28KA
LG TVs caught spying even when offline or on standby
Gamers Nexus gives you another reason to never connect your smart TV to the internet.
The Navier–Stokes Millennium Prize Problem
Impressive result from OpenAI, who used an unreleased model to produce a resolution to the Navier–Stokes existence and smoothness problem, one of the seven Millennium Prize Problems that have been …
DHS 'Predictive Policing' Unit Is Analyzing Americans' Financial Habits
404 Media is revealing the name of Border Patrol's predictive policing units, which analyze financial data and have local cops pull people over. The people are not suspected of any particular crime.
Asahi Linux on M3
https://www.phoronix.com/news/Asahi-Linux-Official-M3
Kimi K3 (2.8T) at 1 token/s on a MacBook Pro, streamed from four SSDs
ARGODRIVE Deltafin: Kimi K3 (2.8T MoE) streamed from SSDs on Apple Silicon — fork of gavamedia/deltafin with the ARGODRIVE storage work and benchmark package - argonautlabsai/deltafin
Benchmarking Qwen3.8 27B quantizations: 4-bit holds up, 1-bit collapses
I test Unsloth GGUFs of Qwen3.8 27B (Q4_K_M, UD-Q2_K_XL, UD-IQ1_S) with llama.cpp on GPQA Diamond, IFBench, Terminal-Bench 2.1. Q4_K_M matches BF16 abd fits an RTX 4090.
AlphaGenome Atlas: a high-resolution map of human DNA
https://deepmind.google/blog/alphagenome-atlas-a-predictive-...https://deepmind.google.com/science/alphagenome/atlas
Large language models develop novel social biases through adaptive exploration
OpenReview.net Verifying your browser Complete the check below to continue to OpenReview Please complete the verification above. Have an OpenReview account? Sign in to skip this check. OpenReview — Open Peer Review. Open Publishing. Open Access.
Understanding the recent DDoS attack against Read the Docs
A deep dive into the massive June 2026 DDoS attack on Read the Docs, the attack patterns we observed, and the mitigations and defenses we used to defend our infrastructure.
Older
OpenAI’s o1 correctly diagnosed 67% of ER patients vs. 50-55% by triage doctors
Researchers say results mark a really ‘profound change in technology that will reshape medicine’
Accelerating Gemma 4: faster inference with multi-token prediction drafters
An overview of how Multi-Token Prediction (MTP) drafters are making Gemma 4 models up to 3x faster at inference.
A couple million lines of Haskell: Production engineering at Mercury
What it takes to run 2 million lines of Haskell in production at a fintech company serving 300,000 businesses.
Using “underdrawings” for accurate text and numbers
A technique for accurate text and numbers in AI-generated images: generate the layout deterministically, then ask the image model to paint on top.
Should I run plain Docker Compose in production in 2026?
Yes, plain Docker Compose can still run production workloads in 2026—if you close the operational gaps it leaves: cleanup, healing, image pinning, socket security, and updates.
Bun is being ported from Zig to Rust
Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one - docs: add Phase-A porting guide · oven-sh/bun@46d3bc2
Computer Use is 45x more expensive than structured APIs
We benchmarked computer use against auto-generated API endpoints on the same admin panel. 53 steps and 551k tokens vs 8 calls and 12k tokens.
ProgramBench: Can language models rebuild programs from scratch?
Abstract page for arXiv paper 2605.03546: ProgramBench: Can Language Models Rebuild Programs From Scratch?
Does Employment Slow Cognitive Decline? Evidence from Labor Market Shocks
Founded in 1920, the NBER is a private, non-profit, non-partisan organization dedicated to conducting economic research and to disseminating research findings among academics, public policy makers, and business professionals.
Google Chrome silently installs a 4 GB AI model on your device without consent
Google Chrome is downloading a 4 GB Gemini Nano model onto users
ZAYA1-8B matches DeepSeek-R1 on math with less than 1B active parameters
Who should care If you work with math, science problems, or complex coding tasks and you're looking for something small enough to run locally or cheaply via API, this is worth serious evaluation. The benchmark numbers at 760M active parameters are not normal and the Markovian RSA boost means performance scales with compute budget rather than hitting a fixed ceiling. If you're building agent workflows that need reliable tool calling or multi-step instruction following, look elsewhere fo
Show HN: Apple's SHARP running in the browser via ONNX runtime web
Hi HN, author here. SHARP is Apple's recent single-image 3D Gaussian splatting model (https://arxiv.org/abs/2512.10685). Their reference code is PyTorch + a pretty heavy pipeline; I wanted to see if it could run in a browser with no server hop, so I exported the predictor to ONNX and ran it via onnxruntime-web with the WebGPU EP.What works: drop in an image, get a .ply you can download or preview live, all on your machine — your image never leaves the tab. The model is large (~2.4 GB sidecar) so first load is slow on a cold cache, but inference itself is a few seconds on a recent Mac.Caveats: SHARP's released weights are research-use only (Apple's model license, not the code's). I host the exported ONNX on R2 so thedemo "just works", but you can also export your own from the upstream Apple repo and upload locally.Happy to talk about it in the comments :)
Valve releases Steam Controller CAD files under Creative Commons license
Modders, start your engines.
Formalizing Fermat's Last Theorem
https://xenaproject.wordpress.com/2026/09/04/flt-anthropic-h...
Text-to-CAD
An open source harness for generating CAD models. Contribute to earthtojake/text-to-cad development by creating an account on GitHub.
Show HN: Tilde.run – Agent sandbox with a transactional, versioned filesystem
Tilde turns running AI agents and pipelines on real data into a transactional, auditable operation. Compose GitHub, S3, and Drive as one versioned filesystem. Roll back any run with one command. Every network call audited.
Removable batteries in smartphones will be mandatory in the EU starting in 2027
Starting in 2027, smartphone batteries will once again be replaceable in the EU. Learn all about the new regulation and what this means for users.
GLM-5V-Turbo: Toward a Native Foundation Model for Multimodal Agents
Abstract page for arXiv paper 2604.26752: GLM-5V-Turbo: Toward a Native Foundation Model for Multimodal Agents
DNSSEC disruption affecting .de domains – Resolved
Current system status. View active incidents or upcoming maintenance. Subscribe to receive status notifications.
RaTeX: KaTeX-compatible LaTeX rendering engine in pure Rust
Rust TeX-style math layout with KaTeX-aligned golden tests. Ready-to-use packages for Web (WASM), iOS, Android, Flutter, and React Native—same display list everywhere.