AI handles incidents, engineers lose touch with their systems

96 points65 comments

Actively exploited sandbox RCE in all Chromium versions

501 points271 comments

Discovery of a new OpenAI agent message board

1722 points1320 comments

Formalizing Fermat's Last Theorem

619 points387 comments

Nitter has more working instances than before the takedowns

222 points76 comments

Kale: A Transformation-Safe Spreadsheet System

13 points1 comments

Statichost.eu – European static site hosting

290 points114 comments

GPT-6 Astra on OpenRouter

229 points133 comments

Can AI design circuit boards yet?

262 points156 comments

GPT-6 Astra in code review: Gains, privacy, and cost

45 points22 comments

Shutting down our public encrypted DNS

347 points157 comments

Portal by Spotify cut my Claude Code token usage by 90%

139 points61 comments

Git Submodules as a Package Manager

58 points7 comments

Artificial Analysis Intelligence Index v4.2

118 points41 comments

Pointing at the error: compiler-style diagnostics in uutils coreutils

14 points1 comments

Can guitar frets perform multiplication?

82 points21 comments

Ask HN: Resources to get good at soldering?

130 points74 comments

Show HN: Open-Source eInk Bike Computer

288 points102 comments

Git hosting that never leaves Europe

87 points59 comments

The Highest Point in the Netherlands

58 points37 comments

IBM Bob

271 points292 comments

An open DNS recursive service for free security and high privacy

91 points26 comments

Record-High 89% in U.S. Say Government Corruption Widespread

428 points323 comments

Fermat's Last Theorem in Lean 4

109 points21 comments

The Rust React Compiler is now native in Vite

139 points31 comments

Government Rails Site Hit Hours After CVE Patch

94 points30 comments

Decompiler Explorer

88 points5 comments

Show HN: TERMy – A fast terminal assistant that does not use LLMs

133 points35 comments

RSA-260 Factorized

114 points62 comments

deSEC – Free Secure DNS

133 points48 comments