- 288 Formalizing Fermat's Last Theorem (anthropic.com)
- 1321 Discovery of a new OpenAI agent message board (collusion.wiki)
- 19 Fermat's Last Theorem: Anthropic has beaten me to it (xenaproject.wordpress.com)
- 151 Shutting down our public encrypted DNS (mullvad.net)
- 64 Can AI design circuit boards yet? (eebench.org)
- 27 Statichost.eu – 100% European static site hosting (statichost.eu)
- 174 Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)
- 43 Government Rails Site Hit Hours After CVE Patch (rietta.com)
- 17 An open DNS recursive service for free security and high privacy (quad9.net)
- 74 The Rust React Compiler is now native in Vite (blog.master.dev)
- 84 deSEC – Free Secure DNS (desec.io)
- 191 IBM Bob (bob.ibm.com)
- 357 Solving the Jane Street reverse engineering challenge (jestoph.com)
- 9 The Wormhole Hall of Shame (rznicolet.com)
- 19 Fermat's Last Theorem in Lean 4 (github.com)
- 13 How to Create a Tor Exit Node (madpsy.uk)
- 241 Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive (torrentfreak.com)
- 46 Project HydraFusion: Frontier quality via multi-model orchestration (github.blog)
- 37 People that worked on the same idea for decades (nityasnotes.com)
- 68 Show HN: TERMy – A fast terminal assistant that does not use LLMs (github.com)
- 227 Corporate America is getting hooked on open-source AI (nytimes.com)
- 10 Deadpan Photography: Enjoying the Pretence (photoni.st)
- 132 Elevator of the Year: Modernization of the Metropolis Trust Building (starelevator.com)
- 66 Getting Started with AT Protocol (bnb.im)
- SubImage (YC W25) Is Hiring a Founding Engineer in SF (ycombinator.com)
job - 34 "Next-token predictor" is the wrong mental model for LLMs (gmcgoldr.github.io)
- 99 Ok, but does it scale? (spacetimedb.com)
- 93 The Two Abstractions of System Design: Hide or Reduce (muratbuffalo.blogspot.com)
- 16 Arrested for a Late Manuscript: Seicho Matsumoto's 'Tokyo Express' (millersbookreview.com)
- 2134 GPT-6 Astra (openai.com)