• AI handles incidents, engineers lose touch with their systems

  84 points by sylvainkalache 1 hours | hide | 23 comments
• Actively exploited sandbox RCE in all Chromium versions

  499 points by negura 12 hours | hide | 36 comments
• Discovery of a new OpenAI agent message board

  1716 points by moultano 21 hours | hide | 221 comments
• Formalizing Fermat's Last Theorem

  618 points by jlebar 15 hours | hide | 74 comments
• Nitter has more working instances than before the takedowns

  214 points by Cider9986 9 hours | hide | 15 comments
• Kale: A Transformation-Safe Spreadsheet System

  10 points by zdw 4 days | hide | 1 comments
• Statichost.eu – European static site hosting

  288 points by p4bl0 13 hours | hide | 37 comments
• GPT-6 Astra on OpenRouter

  226 points by Topfi 12 hours | hide | 27 comments
• Can AI design circuit boards yet?

  260 points by iopapa 14 hours | hide | 58 comments
• GPT-6 Astra in code review: Gains, privacy, and cost

  41 points by cebert 6 hours | hide | 6 comments
• Shutting down our public encrypted DNS

  346 points by mywacaday 15 hours | hide | 21 comments
• Portal by Spotify cut my Claude Code token usage by 90%

  136 points by cebert 10 hours | hide | 27 comments
• Git Submodules as a Package Manager

  57 points by ErenayDev 4 days | hide | 7 comments
• Artificial Analysis Intelligence Index v4.2

  118 points by nojs 9 hours | hide | 13 comments
• Can guitar frets perform multiplication?

  80 points by wibbily 11 hours | hide | 11 comments
• Git hosting that never leaves Europe

  82 points by sevenseacat 3 hours | hide | 17 comments
• Ask HN: Resources to get good at soldering?

  130 points by tosmatos 3 days | hide | 43 comments
• Show HN: Open-Source eInk Bike Computer

  288 points by stingrae 16 hours | hide | 31 comments
• IBM Bob

  270 points by artpar 21 hours | hide | 107 comments
• The Highest Point in the Netherlands

  56 points by haasted 2 days | hide | 8 comments
• An open DNS recursive service for free security and high privacy

  91 points by mooreds 13 hours | hide | 10 comments
• Pointing at the error: compiler-style diagnostics in uutils coreutils

  11 points by ingve 2 days | hide | 1 comments
• Fermat's Last Theorem in Lean 4

  108 points by aaraujo002 14 hours | hide | 8 comments
• Record-High 89% in U.S. Say Government Corruption Widespread

  421 points by karakoram 11 hours | hide | 48 comments
• The Rust React Compiler is now native in Vite

  138 points by acusti 16 hours | hide | 9 comments
• Government Rails Site Hit Hours After CVE Patch

  94 points by rietta 14 hours | hide | 10 comments
• Decompiler Explorer

  87 points by tripdout 3 days | hide | 4 comments
• Show HN: TERMy – A fast terminal assistant that does not use LLMs

  132 points by gioscarab 1 days | hide | 12 comments
• RSA-260 Factorized

  114 points by samyok 2 days | hide | 7 comments
• deSEC – Free Secure DNS

  132 points by gurjeet 18 hours | hide | 15 comments