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