- 198 Formalizing Fermat's Last Theorem (anthropic.com)
- 1224 Discovery of a new OpenAI agent message board (collusion.wiki)
- 102 Shutting down our public encrypted DNS (mullvad.net)
- 141 Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)
- 22 Can AI design circuit boards yet? (eebench.org)
- 28 Government Rails Site Hit Hours After CVE Patch (rietta.com)
- 47 The Rust React Compiler is now native in Vite (blog.master.dev)
- 176 IBM Bob (bob.ibm.com)
- 344 Solving the Jane Street reverse engineering challenge (jestoph.com)
- 68 deSEC – Free Secure DNS (desec.io)
- 42 Project HydraFusion: Frontier quality via multi-model orchestration (github.blog)
- 175 Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive (torrentfreak.com)
- 50 Show HN: TERMy – A fast terminal assistant that does not use LLMs (github.com)
- 175 Nobody Is Saying Why OpenAI and Anthropic Had Outages (wired.com)
- 48 Resources to Get Good at Soldering? ()
- 89 The Two Abstractions of System Design: Hide or Reduce (muratbuffalo.blogspot.com)
- 27 People that worked on the same idea for decades (nityasnotes.com)
- 128 Elevator of the Year Winner Modernization of the Metropolis Trust Building (starelevator.com)
- 56 Getting Started with AT Protocol (bnb.im)
- 672 Qwen 3.8 27B available on Cerebras at 1500 tokens/s (inference-docs.cerebras.ai)
- 12 Arrested for a Late Manuscript: Seicho Matsumoto's 'Tokyo Express' (millersbookreview.com)
- SubImage (YC W25) Is Hiring a Founding Engineer in SF (ycombinator.com)
job - 4 Deadpan Photography: Enjoying the Pretence (photoni.st)
- 2121 GPT-6 Astra (openai.com)
- 339 Google AI Mode shows same products 21.6% more expensive than traditional search (productrise.app)
- 51 Restoring 5 GHz Wi-Fi on an LG C5 by changing its webOS region (github.com)
- 454 The largest electric aircraft just flew [video] (youtube.com)
- 55 Georgi Gerganov on llama.cpp/ggml future after Nvidia acquisition of HuggingFace (twitter.com)
- 173 How Fairphone built the Fairphone Gen 6+ (arstechnica.com)
- 11 A Switch-Level Simulation Model for Integrated Logic Circuits (1981) [pdf] (cs.cmu.edu)