• Actively exploited sandbox RCE in all Chromium versions

  336 points by negura 6 hours | hide | 24 comments
• Formalizing Fermat's Last Theorem

  539 points by jlebar 9 hours | hide | 71 comments
• Discovery of a new OpenAI agent message board

  1550 points by moultano 16 hours | hide | 207 comments
• Artificial Analysis Intelligence Index v4.2

  79 points by nojs 4 hours | hide | 8 comments
• Statichost.eu – European static site hosting

  191 points by p4bl0 7 hours | hide | 30 comments
• GPT-6 Astra on OpenRouter

  154 points by Topfi 6 hours | hide | 21 comments
• Can AI design circuit boards yet?

  192 points by iopapa 8 hours | hide | 50 comments
• Shutting down our public encrypted DNS

  284 points by mywacaday 9 hours | hide | 14 comments
• Can guitar frets perform multiplication?

  44 points by wibbily 5 hours | hide | 8 comments
• Git Submodules as a Package Manager

  17 points by ErenayDev 3 days | hide | 3 comments
• Portal by Spotify cut my Claude Code token usage by 90%

  58 points by cebert 4 hours | hide | 14 comments
• Show HN: Open-Source eInk Bike Computer

  252 points by stingrae 11 hours | hide | 30 comments
• RSA-260 Factorized

  81 points by samyok 1 days | hide | 6 comments
• Ask HN: Resources to get good at soldering?

  76 points by tosmatos 2 days | hide | 31 comments
• An open DNS recursive service for free security and high privacy

  70 points by mooreds 8 hours | hide | 9 comments
• Fermat's Last Theorem in Lean 4

  79 points by aaraujo002 9 hours | hide | 6 comments
• Government Rails Site Hit Hours After CVE Patch

  80 points by rietta 9 hours | hide | 10 comments
• Bugs happen: The easy way to compare solo PQ to ECC+PQ

  15 points by zdw 3 days | hide | 3 comments
• Decompiler Explorer

  50 points by tripdout 3 days | hide | 1 comments
• The Rust React Compiler is now native in Vite

  124 points by acusti 10 hours | hide | 7 comments
• IBM Bob

  241 points by artpar 15 hours | hide | 102 comments
• Record-High 89% in U.S. Say Government Corruption Widespread

  270 points by karakoram 6 hours | hide | 30 comments
• Show HN: TERMy – A fast terminal assistant that does not use LLMs

  102 points by gioscarab 19 hours | hide | 8 comments
• Icons as a Service

  31 points by nravic 6 hours | hide | 2 comments
• ExactTex. A gradually-typed superset of LaTeX

  22 points by camilochs 3 days | hide | 3 comments
• Connecting every app to every other app

  21 points by Chidiebere229 5 hours | hide | 2 comments
• Show HN: Moadim.io – A scheduler for agents

  20 points by tupe12334 4 hours | hide | 6 comments
• deSEC – Free Secure DNS

  122 points by gurjeet 12 hours | hide | 15 comments
• Nitter has more working instances than before the takedowns

  38 points by Cider9986 4 hours | hide | 6 comments
• Updates on HEIR, the Homomorphic Encryption Compiler Project

  31 points by turtleyacht 7 hours | hide | comments