- 375 Formalizing Fermat's Last Theorem (anthropic.com)
- 107 Statichost.eu – European static site hosting (statichost.eu)
- 37 Actively exploited sandbox RCE in all Chromium versions (nvd.nist.gov)
- 1386 Discovery of a new OpenAI agent message board (collusion.wiki)
- 103 Can AI design circuit boards yet? (eebench.org)
- 30 GPT-6 Astra on OpenRouter (openrouter.ai)
- 189 Shutting down our public encrypted DNS (mullvad.net)
- 33 An open DNS recursive service for free security and high privacy (quad9.net)
- 199 Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)
- 58 Government Rails Site Hit Hours After CVE Patch (rietta.com)
- 7 Updates on HEIR, the Homomorphic Encryption Compiler Project (jeremykun.com)
- 90 The Rust React Compiler is now native in Vite (blog.master.dev)
- 38 Fermat's Last Theorem in Lean 4 (github.com)
- 20 RSA-260 Factorized (twitter.com)
- 22 How to Create a Tor Exit Node (madpsy.uk)
- 206 IBM Bob (bob.ibm.com)
- 94 deSEC – Free Secure DNS (desec.io)
- 369 Solving the Jane Street reverse engineering challenge (jestoph.com)
- 18 The Wormhole Hall of Shame (rznicolet.com)
- 18 Fomu An FPGA board that fits inside your USB port (crowdsupply.com)
- 7 Digital Sovereignty Is Written in PHP (thephp.foundation)
- 54 Project HydraFusion: Frontier quality via multi-model orchestration (github.blog)
- 281 Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive (torrentfreak.com)
- 4 Some more thoughts on random_page_cost (vondra.me)
- 22 Deadpan Photography: Enjoying the Pretence (photoni.st)
- 47 People that worked on the same idea for decades (nityasnotes.com)
- SubImage (YC W25) Is Hiring a Founding Engineer in SF (ycombinator.com)
job - 3 Icons as a Service (nravic.com)
- 79 Show HN: TERMy – A fast terminal assistant that does not use LLMs (github.com)
- 47 "Next-token predictor" is the wrong mental model for LLMs (gmcgoldr.github.io)