Alkemet News

AI handles incidents, engineers lose touch with their systems (sylvainkalache.com)

67 points

by sylvainkalache

2 hours ago |

Actively exploited sandbox RCE in all Chromium versions (nvd.nist.gov)

490 points

by negura

12 hours ago |

Discovery of a new OpenAI agent message board (collusion.wiki)

1707 points

by moultano

a day ago |

Formalizing Fermat's Last Theorem (anthropic.com)

617 points

by jlebar

15 hours ago |

Nitter has more working instances than before the takedowns (codeberg.org)

211 points

by Cider9986

10 hours ago |

Statichost.eu – European static site hosting (statichost.eu)

285 points

by p4bl0

13 hours ago |

GPT-6 Astra on OpenRouter (openrouter.ai)

220 points

by Topfi

12 hours ago |

GPT-6 Astra in code review: Gains, privacy, and cost (coderabbit.ai)

40 points

by cebert

6 hours ago |

Can AI design circuit boards yet? (eebench.org)

259 points

by iopapa

14 hours ago |

Shutting down our public encrypted DNS (mullvad.net)

343 points

by mywacaday

15 hours ago |

Portal by Spotify cut my Claude Code token usage by 90% (engineering.atspotify.com)

131 points

by cebert

10 hours ago |

Kale: A Transformation-Safe Spreadsheet System (arxiv.org)

6 points

by zdw

4 days ago |

Git Submodules as a Package Manager (nesbitt.io)

56 points

by ErenayDev

4 days ago |

Artificial Analysis Intelligence Index v4.2 (artificialanalysis.ai)

118 points

by nojs

10 hours ago |

The Highest Point in the Netherlands (ipv6.hanazo.no)

53 points

by haasted

3 days ago |

Can guitar frets perform multiplication? (charlespetzold.com)

77 points

by wibbily

11 hours ago |

Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)

286 points

by stingrae

16 hours ago |

Ask HN: Resources to get good at soldering? (self)

128 points

by tosmatos

3 days ago |

Pointing at the error: compiler-style diagnostics in uutils coreutils (uutils.org)

10 points

by ingve

3 days ago |

IBM Bob (bob.ibm.com)

270 points

by artpar

21 hours ago |

An open DNS recursive service for free security and high privacy (quad9.net)

88 points

by mooreds

13 hours ago |

Fermat's Last Theorem in Lean 4 (github.com)

108 points

by aaraujo002

15 hours ago |

Record-High 89% in U.S. Say Government Corruption Widespread (news.gallup.com)

416 points

by karakoram

12 hours ago |

The Rust React Compiler is now native in Vite (blog.master.dev)

138 points

by acusti

16 hours ago |

Government Rails Site Hit Hours After CVE Patch (rietta.com)

94 points

by rietta

14 hours ago |

Decompiler Explorer (dogbolt.org)

86 points

by tripdout

3 days ago |

Show HN: TERMy – A fast terminal assistant that does not use LLMs (github.com)

131 points

by gioscarab

a day ago |

RSA-260 Factorized (twitter.com)

114 points

by samyok

2 days ago |

Git hosting that never leaves Europe (pushin.eu)

72 points

by sevenseacat

3 hours ago |

deSEC – Free Secure DNS (desec.io)

131 points

by gurjeet

18 hours ago |