汇总内容 (AI 总结失败)
- Formalizing Fermat's Last Theorem: Subscribe to Anthropic Science Features on AI-assisted discoveries, practical workflows, and field notes across the sciences.
- Actively exploited sandbox RCE in all Chromium versions: NVD - Home
--- Top Comments --- [david_shaw]: Let's take a moment to talk about the monetary value of this vulnerability. - Shutting down our public encrypted DNS: Shutting down our public encrypted DNS servers and sponsoring Quad9 instead Mullvad has operated public encrypted DNS (DoH) servers since 2022. - Can AI design circuit boards yet?: Can AI design circuit boards yet? - Show HN: Open-Source eInk Bike Computer: Strengths - A 4.7" e-paper panel that is readable in direct sunlight - An SD card slot for offline maps, routes, ride files and logs - GPS, capacitive touch, a front light, battery and USB-C on one board - Bluetooth 5 for heart-rate, power and cadence sensors - Firmware can be installed from a desktop Chromium browser over USB Tradeoffs - No pressure sensor. - GPT-6 Astra on OpenRouter: GPT-6 Astra is OpenAI's flagship model for demanding end-to-end work. - Statichost.eu – European static site hosting: 100% European static website hosting Not just servers in Europe. - RSA-260 Factorized: penlu@penlume4397328654844826923795068102505872571721883526553349659561256924505973939597593482272505698004801207988043088656411102133523080581 divides RSA-2604:45 AM · Sep 3, 202615.7MViews6213.9K32K6.8K penlu@penlume4397328654844826923795068102505872571721883526553349659561256924505973939597593482272505698004801207988043088656411102133523080581 divides RSA - Portal by Spotify cut my Claude Code token usage by 90%: Portal by Spotify cut my Claude Code token usage by 90% Most of what an AI coding agent does for me isn't thinking. - Artificial Analysis Intelligence Index v4.2: September 4, 2026 Announcing Artificial Analysis Intelligence Index v4.2 We are accelerating elements of our upcoming v5 release with interim updates to keep pace with the frontier. - Nitter has more working instances than before the takedowns: Hacker News Story: Nitter has more working instances than before the takedowns URL: https://codeberg.org/mv12star/shitter/wiki/Instances
--- Top Comments --- [MostlyStable]: The not needing an account is obviously not minor, but honestly, the UI is just better , by a lot . - Why are European countries moving their gold out of North America?: Why are European countries moving their gold out of North America? - Fermat's Last Theorem in Lean 4: A complete, machine-checked proof of Fermat's Last Theorem in Lean 4, built on Mathlib (Lean 4.33.1; Mathlib v4.33.0 , pinned by commit in lakefile.lean ). - Can guitar frets perform multiplication?: Can Guitar Frets Perform Multiplication? - The Highest Point in the Netherlands: It’s a year since Cisco made me redundant, after 25 years. - Git Submodules as a Package Manager: I added a worktree to a repository last week to try a branch alongside the main checkout, ran git submodule update --init in it because the build needed the vendored dependencies, and when I was done went to clean up with git worktree remove , which git refused. - GPT-6 Astra in code review: Gains, privacy, and cost: Some of the hardest work in code review happens outside the changed lines.