#1 ^83 -> Formalizing Fermat's Last Theorem
#2 ^1134 -> Discovery of a new OpenAI agent message board
#3 ^37 -> Shutting down our public encrypted DNS
#4 ^103 -> Show HN: Open-Source eInk Bike Computer
#5 ^21 -> The Rust React Compiler is now native in Vite
#6 ^156 -> IBM Bob
#7 ^39 -> Project HydraFusion: Frontier quality via multi-model orchestration
#8 ^327 -> Solving the Jane Street reverse engineering challenge
#9 ^123 -> Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive
#10 ^45 -> deSEC – Free Secure DNS
#11 ^120 -> Nobody Is Saying Why OpenAI and Anthropic Had Outages
#12 ^12 -> Resources to Get Good at Soldering?
#13 ^35 -> Show HN: TERMy – A fast terminal assistant that does not use LLMs
#14 ^11 -> Arrested for a Late Manuscript: Seicho Matsumoto's 'Tokyo Express'
#15 ^86 -> The Two Abstractions of System Design: Hide or Reduce
#16 ^126 -> Elevator of the Year Winner Modernization of the Metropolis Trust Building
#17 ^49 -> Getting Started with AT Protocol
#18 ^11 -> Stop Thinking of LLMs as Next-Token Predictors
#19 ^669 -> Qwen 3.8 27B available on Cerebras at 1500 tokens/s
#20 ^1 -> SubImage (YC W25) Is Hiring a Founding Engineer in SF
#21 ^328 -> Google AI Mode shows same products 21.6% more expensive than traditional search
#22 ^2107 -> GPT-6 Astra
#23 ^46 -> Restoring 5 GHz Wi-Fi on an LG C5 by changing its webOS region
#24 ^40 -> Georgi Gerganov on llama.cpp/ggml future after Nvidia acquisition of HuggingFace
#25 ^18 -> Hayes AT command set
#26 ^446 -> The largest electric aircraft just flew [video]
#27 ^185 -> Corporate America is getting hooked on open-source AI
#28 ^166 -> How Fairphone built the Fairphone Gen 6+
#29 ^17 -> People that worked on the same idea for decades
#30 ^139 -> US Military disables ad trackers on troops' phones