9.5.26 | OpenAI agent message board, Fermat's Last Theorem formalized, Chromium sandbox RCE exploited
Hacker News Highlights · Sep 5, 2026 · 13:33
Hacker News Highlights · Sep 5, 2026 · 13:33
Listen in the Podli app 🎧
Follow your favourite podcasts, listen offline and in the car with CarPlay and Android Auto, and always pick up where you left off. Free to try.
Feel free to leave feedback on Github: https://github.com/denolfe/hacker-news-highlights
Formalizing Fermat's Last Theorem
https://www.anthropic.com/research/formalizing-fermats-last-theorem
https://news.ycombinator.com/item?id=49568506
Actively exploited sandbox RCE in all Chromium versions
https://nvd.nist.gov/vuln/detail/cve-2026-85046
https://news.ycombinator.com/item?id=49570669
Record-High 89% in U.S. Say Government Corruption Widespread
https://news.gallup.com/poll/713933/record-high-say-government-corruption-widespread.aspx
https://news.ycombinator.com/item?id=49570772
Shutting down our public encrypted DNS
https://mullvad.net/en/blog/shutting-down-our-public-encrypted-dns-servers-and-sponsoring-quad9-instead
https://news.ycombinator.com/item?id=49568579
Show HN: Open-Source eInk Bike Computer
https://opentrailpaper.com
https://news.ycombinator.com/item?id=49567437
Statichost.eu – European static site hosting
https://www.statichost.eu/
https://news.ycombinator.com/item?id=49569896
IBM Bob
https://bob.ibm.com/
https://news.ycombinator.com/item?id=49563851
Can AI design circuit boards yet?
https://eebench.org/blog/can-ai-design-circuit-boards-yet/
https://news.ycombinator.com/item?id=49569366
GPT-6 Astra on OpenRouter
https://openrouter.ai/openai/gpt-6-astra
https://news.ycombinator.com/item?id=49570545
Episodes: Hacker News Highlights
