-
Formalizing Fermat's Last Theorem
-
Statichost.eu – 100% European static site hosting
-
Actively exploited sandbox RCE in all Chromium versions
-
Discovery of a new OpenAI agent message board
-
Can AI design circuit boards yet?
-
GPT-6 Astra on OpenRouter
-
Shutting down our public encrypted DNS
-
An open DNS recursive service for free security and high privacy
-
Show HN: Open-Source eInk Bike Computer
-
Government Rails Site Hit Hours After CVE Patch
-
The Rust React Compiler is now native in Vite
-
Fermat's Last Theorem in Lean 4
-
RSA-260 Factorized
-
How to Create a Tor Exit Node
-
IBM Bob
-
Updates on HEIR, the Homomorphic Encryption Compiler Project
-
deSEC – Free Secure DNS
-
Solving the Jane Street reverse engineering challenge
-
The Wormhole Hall of Shame
-
Fomu An FPGA board that fits inside your USB port
-
Digital Sovereignty Is Written in PHP
-
Project HydraFusion: Frontier quality via multi-model orchestration
-
Some more thoughts on random_page_cost
-
Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive
-
Deadpan Photography: Enjoying the Pretence
-
Icons as a Service
-
SubImage (YC W25) Is Hiring a Founding Engineer in SF
-
People that worked on the same idea for decades
-
Show HN: TERMy – A fast terminal assistant that does not use LLMs
-
"Next-token predictor" is the wrong mental model for LLMs