logoalt Hacker News

  1. Formalizing Fermat's Last Theorem (www.anthropic.com)
    336 points • by jlebar • today at 6:42 PM • 215 comments
  2. Statichost.eu – 100% European static site hosting (www.statichost.eu)
    64 points • by p4bl0 • today at 8:34 PM • 17 comments
  3. Discovery of a new OpenAI agent message board (collusion.wiki)
    1353 points • by moultano • today at 11:54 AM • 1099 comments
  4. Can AI design circuit boards yet? (eebench.org)
    78 points • by iopapa • today at 7:48 PM • 57 comments
  5. Shutting down our public encrypted DNS (mullvad.net)
    171 points • by mywacaday • today at 6:50 PM • 59 comments
  6. An open DNS recursive service for free security and high privacy (quad9.net)
    27 points • by mooreds • today at 8:13 PM • 7 comments
  7. Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)
    186 points • by stingrae • today at 5:18 PM • 60 comments
  8. Government Rails Site Hit Hours After CVE Patch (rietta.com)
    51 points • by rietta • today at 7:06 PM • 13 comments
  9. The Rust React Compiler is now native in Vite (blog.master.dev)
    81 points • by acusti • today at 5:49 PM • 15 comments
  10. Fermat's Last Theorem in Lean 4 (github.com)
    29 points • by aaraujo002 • today at 6:57 PM • 6 comments
  11. deSEC – Free Secure DNS (desec.io)
    90 points • by gurjeet • today at 3:38 PM • 34 comments
  12. IBM Bob (bob.ibm.com)
    197 points • by artpar • today at 12:50 PM • 233 comments
  13. How to Create a Tor Exit Node (madpsy.uk)
    17 points • by Eridanus2 • today at 8:16 PM • 12 comments
  14. Solving the Jane Street reverse engineering challenge (jestoph.com)
    363 points • by anitil • today at 10:17 AM • 82 comments
  15. Fomu An FPGA board that fits inside your USB port (www.crowdsupply.com)
    11 points • by Bluestein • last Wednesday at 9:48 AM • 1 comment
  16. The Wormhole Hall of Shame (rznicolet.com)
    13 points • by rznicolet • last Monday at 6:10 PM • 8 comments
  17. Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive (torrentfreak.com)
    267 points • by speckx • today at 4:46 PM • 151 comments
  18. Deadpan Photography: Enjoying the Pretence (photoni.st)
    17 points • by NaOH • last Tuesday at 12:59 AM • 7 comments
  19. Project HydraFusion: Frontier quality via multi-model orchestration (github.blog)
    49 points • by qainsights • today at 4:24 PM • 28 comments
  20. People that worked on the same idea for decades (nityasnotes.com)
    41 points • by sebg • yesterday at 8:31 AM • 20 comments
  21. Show HN: TERMy – A fast terminal assistant that does not use LLMs (github.com)
    73 points • by gioscarab • today at 9:03 AM • 25 comments
  22. "Next-token predictor" is the wrong mental model for LLMs (gmcgoldr.github.io)
    40 points • by garrinm • today at 5:09 PM • 90 comments
  23. Corporate America is getting hooked on open-source AI (www.nytimes.com)
    235 points • by aaraujo002 • today at 3:33 PM • 223 comments
  24. Getting Started with AT Protocol (bnb.im)
    70 points • by evakhoury • last Tuesday at 7:48 PM • 24 comments
  25. Elevator of the Year: Modernization of the Metropolis Trust Building (www.starelevator.com)
    135 points • by palashawas • last Tuesday at 12:01 AM • 49 comments
  26. SubImage (YC W25) Is Hiring a Founding Engineer in SF (www.ycombinator.com)
    1 points • by alexchantavy • today at 12:01 PM • 0 comments
  27. The Two Abstractions of System Design: Hide or Reduce (muratbuffalo.blogspot.com)
    94 points • by ubolonton_ • last Wednesday at 11:54 AM • 10 comments
  28. Ok, but does it scale? (spacetimedb.com)
    102 points • by theanonymousone • today at 12:42 PM • 63 comments
  29. GPT-6 Astra (openai.com)
    2138 points • by kibae • yesterday at 6:41 PM • 1944 comments
  30. Arrested for a Late Manuscript: Seicho Matsumoto's 'Tokyo Express' (www.millersbookreview.com)
    16 points • by benbreen • yesterday at 7:10 PM • 3 comments
  31. Google AI Mode shows same products 21.6% more expensive than traditional search (productrise.app)
    354 points • by DeepLogin • today at 11:59 AM • 71 comments
  32. Restoring 5 GHz Wi-Fi on an LG C5 by changing its webOS region (github.com)
    55 points • by hawshemi • today at 12:49 PM • 63 comments
  33. The Sealed Document TikTok Doesn't Want Two Senators to See (www.bloomberg.com)
    15 points • by formerlurker • today at 8:20 PM • 1 comment
  34. .name Termination (neil.fraser.name)
    2135 points • by pavel_lishin • yesterday at 2:54 PM • 528 comments
  35. Fermat's Last Theorem: Anthropic has beaten me to it (xenaproject.wordpress.com)
    24 points • by ravenical • today at 9:00 PM • 2 comments
  36. How Fairphone built the Fairphone Gen 6+ (arstechnica.com)
    183 points • by CrypticShift • today at 12:43 PM • 157 comments
  37. A Switch-Level Simulation Model for Integrated Logic Circuits (1981) [pdf] (www.cs.cmu.edu)
    12 points • by gregsadetsky • last Wednesday at 2:36 AM • 1 comment
  38. US Military disables ad trackers on troops' phones (www.theguardian.com)
    157 points • by tencentshill • today at 1:44 PM • 86 comments
  39. Resources to Get Good at Soldering? (self)
    67 points • by tosmatos • last Wednesday at 9:24 AM • 47 comments
  40. Leading Theory for How Life on Earth Began Is 'Highly Unlikely' (www.sciencealert.com)
    14 points • by jandrewrogers • today at 2:52 PM • 0 comments
  41. Georgi Gerganov on llama.cpp/ggml future after Nvidia acquisition of HuggingFace (twitter.com)
    61 points • by theanonymousone • today at 5:12 PM • 18 comments
  42. Hayes AT command set (en.wikipedia.org)
    33 points • by 0xbadcafebee • today at 5:56 PM • 9 comments
  43. GPT-6 Astra Generally Available (twitter.com)
    18 points • by samyok • today at 8:16 PM • 6 comments
  44. Top Pentagon Official Contracted Personal Lawyer to Handle Minerals Deal (prospect.org)
    137 points • by h2si • today at 1:54 PM • 71 comments
  45. Qwen 3.8 27B available on Cerebras at 1500 tokens/s (inference-docs.cerebras.ai)
    675 points • by altertable • yesterday at 6:32 PM • 222 comments
  46. Which tools do Claude, Codex and Cursor choose? We measured 17k runs to find out (armature.tech)
    286 points • by screm • yesterday at 9:20 PM • 143 comments
  47. Ask HN: Who is using MCP in production? (self)
    157 points • by sukit • yesterday at 11:21 AM • 179 comments
  48. Squeezing Performance Out of eBPF (bitbison.io)
    6 points • by sbahra • today at 5:17 PM • 0 comments
  49. Project Xanadu: Even More Hindsight (2025) (gwern.net)
    119 points • by andsoitis • today at 1:45 AM • 39 comments
  50. New type of dice guarantees no tie when deciding who goes first (www.cbc.ca)
    119 points • by colinprince • last Wednesday at 1:50 AM • 103 comments