- 272Formalizing Fermat's Last Theorem (anthropic.com)
- 1292Discovery of a new OpenAI agent message board (collusion.wiki)
- 137Shutting down our public encrypted DNS (mullvad.net)
- 48Can AI design circuit boards yet? (eebench.org)
- 166Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)
- 37Government Rails Site Hit Hours After CVE Patch (rietta.com)
- 14An open DNS recursive service for free security and high privacy (quad9.net)
- 70The Rust React Compiler is now native in Vite (blog.master.dev)
- 8Statichost.eu – 100% European static site hosting (statichost.eu)
- 82deSEC – Free Secure DNS (desec.io)
- 187IBM Bob (bob.ibm.com)
- 354Solving the Jane Street reverse engineering challenge (jestoph.com)
- 228Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive (torrentfreak.com)
- 45Project HydraFusion: Frontier quality via multi-model orchestration (github.blog)
- 7Bin Laden's "Letter to America" (ceu.su)
- 64Show HN: TERMy – A fast terminal assistant that does not use LLMs (github.com)
- 219Corporate America is getting hooked on open-source AI (nytimes.com)
- 34People that worked on the same idea for decades (nityasnotes.com)
- 7How to Create a Tor Exit Node (madpsy.uk)
- 8Deadpan Photography: Enjoying the Pretence (photoni.st)
- 131Elevator of the Year: Modernization of the Metropolis Trust Building (starelevator.com)
- 13Fermat's Last Theorem in Lean 4 (github.com)
- 64Getting Started with AT Protocol (bnb.im)
- SubImage (YC W25) Is Hiring a Founding Engineer in SF (ycombinator.com)
job - 98Ok, but does it scale? (spacetimedb.com)
- 675Qwen 3.8 27B available on Cerebras at 1500 tokens/s (inference-docs.cerebras.ai)
- 92The Two Abstractions of System Design: Hide or Reduce (muratbuffalo.blogspot.com)
- 2130GPT-6 Astra (openai.com)
- 15Arrested for a Late Manuscript: Seicho Matsumoto's 'Tokyo Express' (millersbookreview.com)
- 28"Next-token predictor" is the wrong mental model for LLMs (gmcgoldr.github.io)