COSMIC Desktop 1.8 Arrives with a Rewritten Compositor, Tablet Emulation, and Greeter Fixes
COSMIC Epoch 1.8.0 tagged on September 9, bringing a rewritten compositor with tablet emulation and libei pasteboard support, alongside greeter improvements and audio fixes for System76's Rust-built desktop. »
OpenAI's AI Solved the Navier-Stokes Problem in 88 Hours — Using 10,000 Parallel Agents
OpenAI's unreleased AI model solved the Navier-Stokes existence and smoothness problem — one of math's seven $1 million Millennium Prize Problems — in 88 hours using 10,000 parallel agents. The achievement is historic, though not without controversy. »
Tails 7.12 Is Out — The Privacy OS Switches to a Two-Week Release Cycle
Following Firefox's shift to fortnightly releases, Tor Browser and Tails are doing the same. Tails 7.12 is the first version under the new cadence, and it ships Tor Browser 15.0.21 and Electrum 4.8.1. »
Silent Hill: Townfall Is Two Weeks Away — Here's What Previews Say About the Scottish Horror
Konami's first-person Silent Hill entry launches September 24 on PS5 and PC. Three hours of press hands-on time reveal strong atmosphere and at least one unresolved concern. »
Claude Formalized Fermat's Last Theorem in 11 Days — 13 Million Lines of Lean
Anthropic's Claude autonomously translated the 358-year-old proof of Fermat's Last Theorem into the Lean formal verification language, producing a computer-checked result in just 11 days. »