10.23.26 | Quad9 exits France, eMudhra exits SSL TLS business, HN apology for PHP RCE

This is a recap of the top 10 posts on Hacker News on Oct 23, 2026.Feel free to leave feedback on Github: https://github.com/denolfe/hacker-news-highlights

(00:00) - Intro

(00:20) - Quad9 to exit France

(01:21) - eMudhra to exit global SSL/TLS certificate business

(02:17) - Tell HN: I unknowingly broke the PHP RCE embargo. I am sorry.

(03:15) - WorldTUI: I trained a 360M model to pretend to be a terminal

(04:21) - Docker is weird

(05:35) - Run full iOS 16.5 firmware on Android Devices

(06:44) - Every AI model has the same "controversial" take on humans

(07:47) - Local Wikipedia: Wikipedia, but only for things a half hour walk from you

(08:38) - OpenShell – A safe, private runtime for fleets of autonomous AI agents

(09:36) - LLMs are making formal software verification feasible at a much larger scale

(10:51) - Outro

Quad9 to exit France https://quad9.net/news/blog/au-revoir-france/ https://news.ycombinator.com/item?id=50195959eMudhra to exit global SSL/TLS certificate business https://emudhra.com/en/press-release/emudhra-to-exit-global-ssl-tls-certificate-business https://news.ycombinator.com/item?id=50195110 Tell HN: I unknowingly broke the PHP RCE embargo. I am sorry. https://news.ycombinator.com/item?id=50193416 WorldTUI: I trained a 360M model to pretend to be a terminal https://simedw.com/2026/10/21/world-model-terminal/ https://news.ycombinator.com/item?id=50190363 Docker is weird https://codeandcake.dev/posts/2026-10-22-docker-is-weird https://news.ycombinator.com/item?id=50202681 Run full iOS 16.5 firmware on Android Devices https://github.com/oosexgang/hackios-xnu-kernel https://news.ycombinator.com/item?id=50196718 Every AI model has the same "controversial" take on humans https://www.modelcompare.ai/blog/ai-models-controversial-take-on-humans https://news.ycombinator.com/item?id=50197313 Local Wikipedia: Wikipedia, but only for things a half hour walk from you https://edjefferson.com/localwiki/ https://news.ycombinator.com/item?id=50202285 OpenShell – A safe, private runtime for fleets of autonomous AI agents https://github.com/NVIDIA/OpenShell https://news.ycombinator.com/item?id=50198675 LLMs are making formal software verification feasible at a much larger scale https://www.anthropic.com/research/formal-verification https://news.ycombinator.com/item?id=50202217