- 6539AI handles incidents, engineers lose touch with their systems(sylvainkalache.com)
by sylvainkalache
- 489270Actively exploited sandbox RCE in all Chromium versions(nvd.nist.gov)
by negura
- 17071315Discovery of a new OpenAI agent message board(collusion.wiki)
by moultano
- 617384Formalizing Fermat's Last Theorem(anthropic.com)
by jlebar
- 20971Nitter has more working instances than before the takedowns(codeberg.org)
by Cider9986
- 283110Statichost.eu – European static site hosting(statichost.eu)
by p4bl0
- 218131GPT-6 Astra on OpenRouter(openrouter.ai)
by Topfi
- 4022GPT-6 Astra in code review: Gains, privacy, and cost(coderabbit.ai)
by cebert
- 258151Can AI design circuit boards yet?(eebench.org)
by iopapa
- 342156Shutting down our public encrypted DNS(mullvad.net)
by mywacaday
- 13058Portal by Spotify cut my Claude Code token usage by 90%(engineering.atspotify.com)
by cebert
- 50Kale: A Transformation-Safe Spreadsheet System(arxiv.org)
by zdw
- 566Git Submodules as a Package Manager(nesbitt.io)
by ErenayDev
- 11741Artificial Analysis Intelligence Index v4.2(artificialanalysis.ai)
by nojs
- 5335The Highest Point in the Netherlands(ipv6.hanazo.no)
by haasted
- 286102Show HN: Open-Source eInk Bike Computer(opentrailpaper.com)
by stingrae
- 7619Can guitar frets perform multiplication?(charlespetzold.com)
by wibbily
- 12874Ask HN: Resources to get good at soldering?
by tosmatos
- 101Pointing at the error: compiler-style diagnostics in uutils coreutils(uutils.org)
by ingve
- 269288IBM Bob(bob.ibm.com)
by artpar
- 7154Git hosting that never leaves Europe(pushin.eu)
by sevenseacat
- 8825An open DNS recursive service for free security and high privacy(quad9.net)
by mooreds
- 10821Fermat's Last Theorem in Lean 4(github.com)
by aaraujo002
- 11460RSA-260 Factorized(twitter.com)
by samyok
- 414317Record-High 89% in U.S. Say Government Corruption Widespread(news.gallup.com)
by karakoram
- 13831The Rust React Compiler is now native in Vite(blog.master.dev)
by acusti
- 9429Government Rails Site Hit Hours After CVE Patch(rietta.com)
by rietta
- 865Decompiler Explorer(dogbolt.org)
by tripdout
- 13135Show HN: TERMy – A fast terminal assistant that does not use LLMs(github.com)
by gioscarab
- 13046deSEC – Free Secure DNS(desec.io)
by gurjeet
- 445Icons as a Service(nravic.com)
by nravic
- 21721997GPT-6 Astra(openai.com)
by kibae
- 138184Why are European countries moving their gold out of North America?(bbc.com)
by ranit
- 113242“Next-token predictor” is the wrong mental model for LLMs(gmcgoldr.github.io)
by garrinm
- 1614Praearcturus gigas: giant scorpion from Lower Devonian (Lochkovian) of Britain(onlinelibrary.wiley.com)
by bryanrasmussen
- 380Updates on HEIR, the Homomorphic Encryption Compiler Project(jeremykun.com)
by turtleyacht
- 382Connecting every app to every other app(blog.val.town)
by Chidiebere229
- 2165533.name Termination(neil.fraser.name)
by pavel_lishin
- 14652Elevator of the Year: Modernization of the Metropolis Trust Building(starelevator.com)
by palashawas
- 387226Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive(torrentfreak.com)
by speckx
- 2511Show HN: Moadim.io – A scheduler for agents(moadim.io)
by tupe12334
- 5031How to Create a Tor Exit Node (2015)(madpsy.uk)
by Eridanus2
- 6731Project HydraFusion: Frontier quality via multi-model orchestration(github.blog)
by qainsights
- 187Bugs happen: The easy way to compare solo PQ to ECC+PQ(blog.cr.yp.to)
by zdw
- 10813The Two Abstractions of System Design: Hide or Reduce(muratbuffalo.blogspot.com)
by ubolonton_
- 7725Getting Started with AT Protocol(bnb.im)
by evakhoury
- SubImage (YC W25) Is Hiring a Founding Engineer in SF(ycombinator.com)
by alexchantavy
- 11666Ok, but does it scale?(spacetimedb.com)
by theanonymousone
- 222Claude Code skills for advanced context engineering techniques and patterns(github.com)
by leovs09
- 296270Corporate America is getting hooked on open-source AI(nytimes.com)
by aaraujo002