2026-09-08

16 stories suggest →

Top stories

  1. OpenAI says an internal model proved finite-time blowup for Navier-Stokes, and mathematicians dispute the provenance OpenAI says an internal model produced a Lean-certified Navier-Stokes blowup proof, and Tristan Buckmaster disputes its provenance. developing AI
  2. Alpoge and Buckmaster publish finite-time blowup with smooth forcing for 3D Euler, Boussinesq and incompressible porous media Alpoge and Buckmaster released Lean-formalized finite-time blowup results with smooth forcing for 3D Euler and two related systems. confirmed Paper
  3. CERN moves 2,200 accelerator control computers from CentOS to Debian over the x86-64-v2 baseline CERN is moving 2,200 accelerator control machines from CentOS to Debian rather than funding a 5.4 million franc upgrade. confirmed Linux/Kernel
  4. Mistral raises 3 billion euros at more than 21 billion euros post-money, led by Samsung Electronics Mistral raised 3 billion euros at over 21 billion post-money, led by Samsung Electronics, in what it calls Europe's largest round. confirmed Markets
  5. Naming a test or verification technique to a coding agent does not beat giving it no instruction A 26-condition eval on codex with GPT-5.6 Sol found naming a technique or library did not beat the no-instruction default. confirmed Agentic coding

AI

  1. A Qwen3.8 27B quantization benchmark puts 4-bit at parity with BF16 and 1-bit at random chance A Qwen3.8 27B benchmark finds 4-bit at BF16 parity on GPQA Diamond and Terminal-Bench 2.1, and 1-bit at random chance. confirmed

Security

  1. A researcher factored two 512-bit certificate authority root keys shipped in Netscape 4.51 A researcher factored both 512-bit E-Certify root keys from Netscape 4.51 in 32 and 29 hours on one desktop Ryzen. confirmed

Developer tools

  1. TALA, the D2 orthogonal layout engine, is open-sourced under MPL-2.0 D2's orthogonal layout engine TALA is now MPL-2.0 and bundled in D2 v0.9.0, so --layout=tala needs no separate license. confirmed

Languages and runtimes

  1. NVIDIA publishes CUDA Rust with two tracks for writing GPU kernels NVIDIA published CUDA Rust, letting GPU kernels compile natively to PTX through two tracks rather than through C++ wrappers. confirmed

Infrastructure

  1. Broadcom removed the public VMware VDDK downloads that migration tooling depends on Broadcom pulled the public VMware VDDK downloads that Azure Migrate, Nutanix Move and virt-v2v need for agentless migration. developing
  2. Jellyfin 12.0 rewrites the library database on first boot and drops the legacy client routes Jellyfin 12.0 rewrites the library database on first boot, removes the /emby/ routes and breaks every 10.11 plugin. confirmed
  3. PostgreSQL reverts SQL/PGQ property graph queries out of version 19 PostgreSQL reverted SQL/PGQ property graph support out of the version 19 branch, removing GRAPHTABLE and pgpropgraph before release. confirmed
  4. FreeBSD 14.5-RELEASE ships as a maintenance release and sets the 14.4 end-of-life date FreeBSD 14.5-RELEASE is a maintenance release, and it sets 14.4 end of life at 2026-12-31 and 14.5 at 2027-06-30. confirmed

Engineering posts

  1. An argument that cheap open-weight models put exploit discovery within reach of anyone with a workstation An argument that open-weight models scoring 84.5 percent on CyberGym move the security bottleneck from finding bugs to shipping fixes. discussion
  2. An independent wiki host reports Google indexes only the main page of brand-new domains A wiki host reports Google indexed only the main page of its new domains for months, with a subdomain as the workaround. discussion

Hacker News

  1. The bzip3 thread turns into a dispute over compression benchmark window sizes An HN commenter reports zstd with --long=29 compresses more than 2x smaller than bzip3 and at half its own default-window CPU time. discussion