Hacker News Highlights · Oct 23, 2026 · 10:56
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
eMudhra 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
Episodes: Hacker News Highlights