-
Formalizing Fermat's Last Theorem
-
Discovery of a new OpenAI agent message board
-
Shutting down our public encrypted DNS
-
Can AI design circuit boards yet?
-
Show HN: Open-Source eInk Bike Computer
-
Government Rails Site Hit Hours After CVE Patch
-
The Rust React Compiler is now native in Vite
-
IBM Bob
-
Solving the Jane Street reverse engineering challenge
-
deSEC – Free Secure DNS
-
Project HydraFusion: Frontier quality via multi-model orchestration
-
An open DNS recursive service for free security and high privacy
-
Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive
-
Resources to Get Good at Soldering?
-
Show HN: TERMy – A fast terminal assistant that does not use LLMs
-
The Two Abstractions of System Design: Hide or Reduce
-
Elevator of the Year Winner Modernization of the Metropolis Trust Building
-
People that worked on the same idea for decades
-
Fermat's Last Theorem in Lean 4
-
Getting Started with AT Protocol
-
Qwen 3.8 27B available on Cerebras at 1500 tokens/s
-
SubImage (YC W25) Is Hiring a Founding Engineer in SF
-
Arrested for a Late Manuscript: Seicho Matsumoto's 'Tokyo Express'
-
GPT-6 Astra
-
Deadpan Photography: Enjoying the Pretence
-
Google AI Mode shows same products 21.6% more expensive than traditional search
-
The largest electric aircraft just flew [video]
-
Restoring 5 GHz Wi-Fi on an LG C5 by changing its webOS region
-
Artificial beaver dams saw juvenile coho salmon survival rates go from 8% to 60%
-
How Fairphone built the Fairphone Gen 6+