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 Oct 13, 2025.Feel free to leave feedback on Github: https://github.com/denolfe/hacker-news-highlights(00:00) - Intro (00:18) - Wireguard FPGA (01:22) - Free software hasn't won (02:41) - Ask HN: What are you working on? (October 2025) (03:43) - Show HN: I built a simple ambient sound app with no ads or subscriptions (04:45) - Emacs agent-shell (powered by ACP) (05:39) - Show HN: Baby's first international landline (06:44) - Three ways formally verified code can go wrong in practice (07:53) - Bird photographer of the year gives a lesson in planning and patience (08:58) - A years-long Turkish alphabet bug in the Kotlin compiler (10:06) - John Searle has died (11:07) - Outro Wireguard FPGAhttps://github.com/chili-chips-ba/wireguard-fpgahttps://news.ycombinator.com/item?id=45559857Free software hasn't wonhttps://dorotac.eu/posts/fosswon/https://news.ycombinator.com/item?id=45562286Ask HN: What are you working on? (October 2025)https://news.ycombinator.com/item?id=45561428Show HN: I built a simple ambient sound app with no ads or subscriptionshttps://ambisounds.app/https://news.ycombinator.com/item?id=45558611Emacs agent-shell (powered by ACP)https://xenodium.com/introducing-agent-shellhttps://news.ycombinator.com/item?id=45561672Show HN: Baby's first international landlinehttps://wip.tf/posts/telefonefix-building-babys-first-international-landline/https://news.ycombinator.com/item?id=45515978Three ways formally verified code can go wrong in practicehttps://buttondown.com/hillelwayne/archive/three-ways-formally-verified-code-can-go-wrong-in/https://news.ycombinator.com/item?id=45555727Bird photographer of the year gives a lesson in planning and patiencehttps://www.thisiscolossal.com/2025/09/2025-bird-photographer-of-the-year-contest/https://news.ycombinator.com/item?id=45487232A years-long Turkish alphabet bug in the Kotlin compilerhttps://sam-cooper.medium.com/the-country-that-broke-kotlin-84bdd0afb237https://news.ycombinator.com/item?id=45559767John Searle has diedhttps://www.nytimes.com/2025/10/12/books/john-searle-dead.htmlhttps://news.ycombinator.com/item?id=45563627 What is Hacker News Highlights? Daily overview of the Top 10 Hacker News posts. Post and comment summarization by AI.