🐙 技术热榜聚合

1. Formalizing Fermat's Last Theorem
   ▲ 400 ｜ jlebar ｜ 💬 258 ｜ 第 1 名
2. Actively exploited sandbox RCE in all Chromium versions
   ▲ 54 ｜ negura ｜ 💬 11 ｜ 第 2 名
3. Statichost.eu – European static site hosting
   ▲ 120 ｜ p4bl0 ｜ 💬 38 ｜ 第 3 名
4. Discovery of a new OpenAI agent message board
   ▲ 1399 ｜ moultano ｜ 💬 1122 ｜ 第 4 名
5. Can AI design circuit boards yet?
   ▲ 113 ｜ iopapa ｜ 💬 69 ｜ 第 5 名
6. GPT-6 Astra on OpenRouter
   ▲ 41 ｜ Topfi ｜ 💬 20 ｜ 第 6 名
7. Shutting down our public encrypted DNS
   ▲ 200 ｜ mywacaday ｜ 💬 72 ｜ 第 7 名
8. An open DNS recursive service for free security and high privacy
   ▲ 41 ｜ mooreds ｜ 💬 9 ｜ 第 8 名
9. Show HN: Open-Source eInk Bike Computer
   ▲ 205 ｜ stingrae ｜ 💬 66 ｜ 第 9 名
10. Government Rails Site Hit Hours After CVE Patch
    ▲ 60 ｜ rietta ｜ 💬 13 ｜ 第 10 名
11. RSA-260 Factorized
    ▲ 30 ｜ samyok ｜ 💬 8 ｜ 第 11 名
12. Digital Sovereignty Is Written in PHP
    ▲ 17 ｜ taubek ｜ 💬 1 ｜ 第 12 名
13. Fermat's Last Theorem in Lean 4
    ▲ 41 ｜ aaraujo002 ｜ 💬 10 ｜ 第 13 名
14. The Rust React Compiler is now native in Vite
    ▲ 92 ｜ acusti ｜ 💬 19 ｜ 第 14 名
15. Updates on HEIR, the Homomorphic Encryption Compiler Project
    ▲ 10 ｜ turtleyacht ｜ 第 15 名
16. How to Create a Tor Exit Node
    ▲ 25 ｜ Eridanus2 ｜ 💬 18 ｜ 第 16 名
17. IBM Bob
    ▲ 206 ｜ artpar ｜ 💬 244 ｜ 第 17 名
18. deSEC – Free Secure DNS
    ▲ 95 ｜ gurjeet ｜ 💬 39 ｜ 第 18 名
19. 解决Jane Street逆向工程挑战Solving the Jane Street reverse engineering challenge
    ▲ 374 ｜ anitil ｜ 💬 83 ｜ 第 19 名
20. The Wormhole Hall of Shame
    ▲ 19 ｜ rznicolet ｜ 💬 9 ｜ 第 20 名
21. Fomu An FPGA board that fits inside your USB port
    ▲ 21 ｜ Bluestein ｜ 💬 4 ｜ 第 21 名
22. Record-High 89% in U.S. Say Government Corruption Widespread
    ▲ 28 ｜ karakoram ｜ 💬 7 ｜ 第 22 名
23. Project HydraFusion: Frontier quality via multi-model orchestration
    ▲ 57 ｜ qainsights ｜ 💬 29 ｜ 第 23 名
24. Icons as a Service
    ▲ 4 ｜ nravic ｜ 第 24 名
25. Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive
    ▲ 290 ｜ speckx ｜ 💬 178 ｜ 第 25 名
26. Deadpan Photography: Enjoying the Pretence
    ▲ 23 ｜ NaOH ｜ 💬 13 ｜ 第 26 名
27. "Next-token predictor" is the wrong mental model for LLMs
    ▲ 52 ｜ garrinm ｜ 💬 130 ｜ 第 27 名
28. SubImage (YC W25) Is Hiring a Founding Engineer in SF
    ▲ 1 ｜ alexchantavy ｜ 第 28 名
29. Some more thoughts on random_page_cost
    ▲ 6 ｜ blueshoess ｜ 第 29 名
30. Show HN: TERMy – A fast terminal assistant that does not use LLMs
    ▲ 82 ｜ gioscarab ｜ 💬 27 ｜ 第 30 名