🐙 技术热榜聚合

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