Subscribe Copied to clipboard Apple Podcasts Spotify Pocket Casts Overcast Castro YouTube Goodpods Goodpods Metacast Amazon Music Pandora CastBox Anghami Anghami Fountain JioSaavn Gaana iHeartRadio TuneIn TuneIn Player FM SoundCloud SoundCloud Deezer Podcast Addict
This is a recap of the top 10 posts on Hacker News on Nov 9, 2025.Feel free to leave feedback on Github: https://github.com/denolfe/hacker-news-highlights(00:00) - Intro (00:19) - Study identifies weaknesses in how AI systems are evaluated (01:29) - I Am Mark Zuckerberg (02:22) - Marko – A declarative, HTML‑based language (03:30) - Ironclad – formally verified, real-time capable, Unix-like OS kernel (04:43) - Largest cargo sailboat completes first Atlantic crossing (05:58) - Tabloid: The Clickbait Headline Programming Language (06:54) - Avería: The Average Font (2011) (07:56) - Open-source communications by bouncing signals off the Moon (08:50) - Control structures in programming languages: from goto to algebraic effects (09:57) - Cloudflare scrubs Aisuru botnet from top domains list (11:03) - Outro Study identifies weaknesses in how AI systems are evaluatedhttps://www.oii.ox.ac.uk/news-events/study-identifies-weaknesses-in-how-ai-systems-are-evaluated/https://news.ycombinator.com/item?id=45856804I Am Mark Zuckerberghttps://iammarkzuckerberg.com/https://news.ycombinator.com/item?id=45863360Marko – A declarative, HTML‑based languagehttps://markojs.com/https://news.ycombinator.com/item?id=45858905Ironclad – formally verified, real-time capable, Unix-like OS kernelhttps://ironclad-os.org/https://news.ycombinator.com/item?id=45860843Largest cargo sailboat completes first Atlantic crossinghttps://www.marineinsight.com/shipping-news/worlds-largest-cargo-sailboat-completes-historic-first-atlantic-crossing/https://news.ycombinator.com/item?id=45859471Tabloid: The Clickbait Headline Programming Languagehttps://tabloid.vercel.app/https://news.ycombinator.com/item?id=45862470Avería: The Average Font (2011)http://iotic.com/averia/https://news.ycombinator.com/item?id=45859243Open-source communications by bouncing signals off the Moonhttps://open.space/https://news.ycombinator.com/item?id=45790672Control structures in programming languages: from goto to algebraic effectshttp://xavierleroy.org/control-structures/https://news.ycombinator.com/item?id=45798068Cloudflare scrubs Aisuru botnet from top domains listhttps://krebsonsecurity.com/2025/11/cloudflare-scrubs-aisuru-botnet-from-top-domains-list/https://news.ycombinator.com/item?id=45857836 What is Hacker News Highlights? Daily overview of the Top 10 Hacker News posts. Post and comment summarization by AI.