-
Formalizing Fermat's Last Theorem
▲ 34 | jlebar | 💬 4 | 第 1 名
-
Discovery of a new OpenAI agent message board
▲ 1113 | moultano | 💬 878 | 第 2 名
-
Show HN: Open-Source eInk Bike Computer
▲ 92 | stingrae | 💬 28 | 第 3 名
-
Mullvad – Shutting down our public encrypted DNS
▲ 10 | mywacaday | 第 4 名
-
Project HydraFusion: Frontier quality via multi-model orchestration
▲ 38 | qainsights | 💬 14 | 第 5 名
-
The Rust React Compiler is now native in Vite
▲ 13 | acusti | 💬 1 | 第 6 名
-
IBM Bob
▲ 149 | artpar | 💬 180 | 第 7 名
-
GPT-6 AstraGPT-6 Astra
▲ 2101 | kibae | 💬 1911 | 第 8 名
-
解决Jane Street逆向工程挑战Solving the Jane Street reverse engineering challenge
▲ 323 | anitil | 💬 76 | 第 9 名
-
Nobody Is Saying Why OpenAI and Anthropic Had Outages
▲ 112 | jslakro | 💬 79 | 第 10 名
-
Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive
▲ 108 | speckx | 💬 53 | 第 11 名
-
deSEC – Free Secure DNS
▲ 41 | gurjeet | 💬 20 | 第 12 名
-
People that worked on the same idea for decades
▲ 13 | sebg | 💬 6 | 第 13 名
-
Show HN: TERMy – A fast terminal assistant that does not use LLMs
▲ 27 | gioscarab | 💬 9 | 第 14 名
-
The Two Abstractions of System Design: Hide or Reduce
▲ 84 | ubolonton_ | 💬 9 | 第 15 名
-
Arrested for a Late Manuscript: Seicho Matsumoto's 'Tokyo Express'
▲ 7 | benbreen | 💬 1 | 第 16 名
-
年度最佳电梯获奖者Metropolis Trust大楼现代化改造Elevator of the Year Winner Modernization of the Metropolis Trust Building
▲ 122 | palashawas | 💬 45 | 第 17 名
-
Getting Started with AT Protocol
▲ 48 | evakhoury | 💬 15 | 第 18 名
-
Qwen 3.8 27B available on Cerebras at 1500 tokens/s
▲ 667 | altertable | 💬 220 | 第 19 名
-
SubImage (YC W25) Is Hiring a Founding Engineer in SF
▲ 1 | alexchantavy | 第 20 名
-
Google AI Mode shows same products 21.6% more expensive than traditional search
▲ 325 | DeepLogin | 💬 62 | 第 21 名
-
Georgi Gerganov on llama.cpp/ggml future after Nvidia acquisition of HuggingFace
▲ 36 | theanonymousone | 💬 9 | 第 22 名
-
Stop Thinking of LLMs as Next-Token Predictors
▲ 4 | garrinm | 第 23 名
-
Hayes AT command set
▲ 12 | 0xbadcafebee | 💬 1 | 第 24 名
-
Corporate America is getting hooked on open-source AI
▲ 177 | aaraujo002 | 💬 156 | 第 25 名
-
Restoring 5 GHz Wi-Fi on an LG C5 by changing its webOS region
▲ 43 | hawshemi | 💬 57 | 第 26 名
-
最大的电动飞机刚刚起飞[视频]The largest electric aircraft just flew [video]
▲ 444 | feb | 💬 330 | 第 27 名
-
How Fairphone built the Fairphone Gen 6+
▲ 163 | CrypticShift | 💬 136 | 第 28 名
-
US Military disables ad trackers on troops' phones
▲ 132 | tencentshill | 💬 69 | 第 29 名
-
A Switch-Level Simulation Model for Integrated Logic Circuits (1981) [pdf]
▲ 9 | gregsadetsky | 💬 1 | 第 30 名