🐙 技术热榜聚合

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