- 349Formalizing Fermat's Last Theorem (anthropic.com)
- 80Statichost.eu – 100% European static site hosting (statichost.eu)
- 1364Discovery of a new OpenAI agent message board (collusion.wiki)
- 83Can AI design circuit boards yet? (eebench.org)
- 17Actively exploited sandbox RCE in all Chromium versions (nvd.nist.gov)
- 179Shutting down our public encrypted DNS (mullvad.net)
- 31An open DNS recursive service for free security and high privacy (quad9.net)
- 192Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)
- 53Government Rails Site Hit Hours After CVE Patch (rietta.com)
- 86The Rust React Compiler is now native in Vite (blog.master.dev)
- 35Fermat's Last Theorem in Lean 4 (github.com)
- 5GPT-6 Astra on OpenRouter (openrouter.ai)
- 20How to Create a Tor Exit Node (madpsy.uk)
- 202IBM Bob (bob.ibm.com)
- 91deSEC – Free Secure DNS (desec.io)
- 363Solving the Jane Street reverse engineering challenge (jestoph.com)
- 13Fomu An FPGA board that fits inside your USB port (crowdsupply.com)
- 274Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive (torrentfreak.com)
- 52Project HydraFusion: Frontier quality via multi-model orchestration (github.blog)
- 13The Wormhole Hall of Shame (rznicolet.com)
- 17Deadpan Photography: Enjoying the Pretence (photoni.st)
- 78Show HN: TERMy – A fast terminal assistant that does not use LLMs (github.com)
- 41People that worked on the same idea for decades (nityasnotes.com)
- 42"Next-token predictor" is the wrong mental model for LLMs (gmcgoldr.github.io)
- 239Corporate America is getting hooked on open-source AI (nytimes.com)
- SubImage (YC W25) Is Hiring a Founding Engineer in SF (ycombinator.com)
job - 70Getting Started with AT Protocol (bnb.im)
- 135Elevator of the Year: Modernization of the Metropolis Trust Building (starelevator.com)
- 95The Two Abstractions of System Design: Hide or Reduce (muratbuffalo.blogspot.com)
- 103Ok, but does it scale? (spacetimedb.com)