-
Formalizing Fermat's Last Theorem
▲ 268 | jlebar | 💬 152 | 第 1 名
-
Discovery of a new OpenAI agent message board
▲ 1289 | moultano | 💬 1038 | 第 2 名
-
Shutting down our public encrypted DNS
▲ 132 | mywacaday | 💬 33 | 第 3 名
-
Can AI design circuit boards yet?
▲ 44 | iopapa | 💬 28 | 第 4 名
-
Show HN: Open-Source eInk Bike Computer
▲ 165 | stingrae | 💬 54 | 第 5 名
-
Government Rails Site Hit Hours After CVE Patch
▲ 37 | rietta | 💬 9 | 第 6 名
-
An open DNS recursive service for free security and high privacy
▲ 13 | mooreds | 💬 2 | 第 7 名
-
The Rust React Compiler is now native in Vite
▲ 68 | acusti | 💬 12 | 第 8 名
-
IBM Bob
▲ 187 | artpar | 💬 223 | 第 9 名
-
deSEC – Free Secure DNS
▲ 81 | gurjeet | 💬 30 | 第 10 名
-
解决Jane Street逆向工程挑战Solving the Jane Street reverse engineering challenge
▲ 354 | anitil | 💬 81 | 第 11 名
-
Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive
▲ 223 | speckx | 💬 124 | 第 12 名
-
Project HydraFusion: Frontier quality via multi-model orchestration
▲ 44 | qainsights | 💬 26 | 第 13 名
-
Statichost.eu – 100% European static site hosting
▲ 5 | p4bl0 | 第 14 名
-
Show HN: TERMy – A fast terminal assistant that does not use LLMs
▲ 64 | gioscarab | 💬 23 | 第 15 名
-
How to Create a Tor Exit Node
▲ 6 | Eridanus2 | 第 16 名
-
Corporate America is getting hooked on open-source AI
▲ 218 | aaraujo002 | 💬 201 | 第 17 名
-
People that worked on the same idea for decades
▲ 34 | sebg | 💬 16 | 第 18 名
-
Bin Laden's "Letter to America"
▲ 5 | kome | 第 19 名
-
Deadpan Photography: Enjoying the Pretence
▲ 8 | NaOH | 💬 4 | 第 20 名
-
年度最佳电梯获奖者Metropolis Trust大楼现代化改造Elevator of the Year: Modernization of the Metropolis Trust Building
▲ 131 | palashawas | 💬 47 | 第 21 名
-
Fermat's Last Theorem in Lean 4
▲ 11 | aaraujo002 | 💬 3 | 第 22 名
-
Getting Started with AT Protocol
▲ 64 | evakhoury | 💬 23 | 第 23 名
-
SubImage (YC W25) Is Hiring a Founding Engineer in SF
▲ 1 | alexchantavy | 第 24 名
-
Ok, but does it scale?
▲ 98 | theanonymousone | 💬 61 | 第 25 名
-
The Two Abstractions of System Design: Hide or Reduce
▲ 92 | ubolonton_ | 💬 10 | 第 26 名
-
Qwen 3.8 27B available on Cerebras at 1500 tokens/s
▲ 675 | altertable | 💬 221 | 第 27 名
-
GPT-6 AstraGPT-6 Astra
▲ 2128 | kibae | 💬 1935 | 第 28 名
-
Google AI Mode shows same products 21.6% more expensive than traditional search
▲ 350 | DeepLogin | 💬 70 | 第 29 名
-
Arrested for a Late Manuscript: Seicho Matsumoto's 'Tokyo Express'
▲ 14 | benbreen | 💬 4 | 第 30 名