- 412 Formalizing Fermat's Last Theorem (anthropic.com)
- 74 Actively exploited sandbox RCE in all Chromium versions (nvd.nist.gov)
- 126 Statichost.eu – European static site hosting (statichost.eu)
- 1410 Discovery of a new OpenAI agent message board (collusion.wiki)
- 57 GPT-6 Astra on OpenRouter (openrouter.ai)
- 120 Can AI design circuit boards yet? (eebench.org)
- 203 Shutting down our public encrypted DNS (mullvad.net)
- 44 An open DNS recursive service for free security and high privacy (quad9.net)
- 208 Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)
- 35 RSA-260 Factorized (twitter.com)
- 61 Government Rails Site Hit Hours After CVE Patch (rietta.com)
- 98 The Rust React Compiler is now native in Vite (blog.master.dev)
- 44 Fermat's Last Theorem in Lean 4 (github.com)
- 26 Digital Sovereignty Is Written in PHP (thephp.foundation)
- 51 Record-High 89% in U.S. Say Government Corruption Widespread (news.gallup.com)
- 27 How to Create a Tor Exit Node (2015) (madpsy.uk)
- 11 Updates on HEIR, the Homomorphic Encryption Compiler Project (jeremykun.com)
- 208 IBM Bob (bob.ibm.com)
- 95 deSEC – Free Secure DNS (desec.io)
- 378 Solving the Jane Street reverse engineering challenge (jestoph.com)
- 7 Icons as a Service (nravic.com)
- 21 The Wormhole Hall of Shame (rznicolet.com)
- 23 Fomu An FPGA board that fits inside your USB port (crowdsupply.com)
- 57 Project HydraFusion: Frontier quality via multi-model orchestration (github.blog)
- 295 Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive (torrentfreak.com)
- 25 Deadpan Photography: Enjoying the Pretence (photoni.st)
- 55 "Next-token predictor" is the wrong mental model for LLMs (gmcgoldr.github.io)
- SubImage (YC W25) Is Hiring a Founding Engineer in SF (ycombinator.com)
job - 6 Without new landers or rovers, it's helicopters or bust for NASA's Mars program (arstechnica.com)
- 83 Show HN: TERMy – A fast terminal assistant that does not use LLMs (github.com)