Hacker News Highlights13 Okt 2025

10.13.25 | Wireguard on FPGA, Free software's ongoing struggle, HN inquiry on current projects

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 FPGA
https://github.com/chili-chips-ba/wireguard-fpga
https://news.ycombinator.com/item?id=45559857

Free software hasn't won
https://dorotac.eu/posts/fosswon/
https://news.ycombinator.com/item?id=45562286

Ask HN: What are you working on? (October 2025)
https://news.ycombinator.com/item?id=45561428

Show HN: I built a simple ambient sound app with no ads or subscriptions
https://ambisounds.app/
https://news.ycombinator.com/item?id=45558611

Emacs agent-shell (powered by ACP)
https://xenodium.com/introducing-agent-shell
https://news.ycombinator.com/item?id=45561672

Show HN: Baby's first international landline
https://wip.tf/posts/telefonefix-building-babys-first-international-landline/
https://news.ycombinator.com/item?id=45515978

Three ways formally verified code can go wrong in practice
https://buttondown.com/hillelwayne/archive/three-ways-formally-verified-code-can-go-wrong-in/
https://news.ycombinator.com/item?id=45555727

Bird photographer of the year gives a lesson in planning and patience
https://www.thisiscolossal.com/2025/09/2025-bird-photographer-of-the-year-contest/
https://news.ycombinator.com/item?id=45487232

A years-long Turkish alphabet bug in the Kotlin compiler
https://sam-cooper.medium.com/the-country-that-broke-kotlin-84bdd0afb237
https://news.ycombinator.com/item?id=45559767

John Searle has died
https://www.nytimes.com/2025/10/12/books/john-searle-dead.html
https://news.ycombinator.com/item?id=45563627

Denne episoden er hentet fra en åpen RSS-feed og er ikke publisert av Podme. Den kan derfor inneholde annonser.

Episoder(592)

9.9.26 | Navier–Stokes Millennium Prize Problem, AlphaGenome Atlas human DNA map, house built for LAN parties 2024

This is a recap of the top 10 posts on Hacker News on Sep 9, 2026.Feel free to leave feedback on Github: https://github.com/denolfe/hacker-news-highlights(00:00) - Intro (00:14) - On the Navier–Stokes...

9 Sep 12min

9.8.26 | LG Spy TVs problem, Mistral raises €3B, Jellyfin 12.0

This is a recap of the top 10 posts on Hacker News on Sep 8, 2026.Feel free to leave feedback on Github: https://github.com/denolfe/hacker-news-highlights(00:00) - Intro (00:16) - 216M Spy TVs – The L...

8 Sep 14min

9.7.26 | Nitter and XCancel resume service, Keep Our Servers Running, Asahi Linux on M3

This is a recap of the top 10 posts on Hacker News on Sep 7, 2026.Feel free to leave feedback on Github: https://github.com/denolfe/hacker-news-highlights(00:00) - Intro (00:19) - Nitter and XCancel r...

7 Sep 13min

9.6.26 | Nitter has more instances, German rocket reaches orbit from Europe, Chrome exempts Google from data settings

This is a recap of the top 10 posts on Hacker News on Sep 6, 2026.Feel free to leave feedback on Github: https://github.com/denolfe/hacker-news-highlights(00:00) - Intro (00:15) - Nitter has more work...

6 Sep 13min

9.5.26 | OpenAI agent message board, Fermat's Last Theorem formalized, Chromium sandbox RCE exploited

This is a recap of the top 10 posts on Hacker News on Sep 5, 2026.Feel free to leave feedback on Github: https://github.com/denolfe/hacker-news-highlights(00:00) - Intro (00:18) - Discovery of a new O...

5 Sep 13min

9.4.26 | .name Termination, GPT-6 Astra, Any Human Ever life selection

This is a recap of the top 10 posts on Hacker News on Sep 4, 2026.Feel free to leave feedback on Github: https://github.com/denolfe/hacker-news-highlights(00:00) - Intro (00:19) - .name Termination (0...

4 Sep 14min

9.3.26 | Gemini 3.8 Flash and Cyber, Muse Spark 1.3, opt out of training data

This is a recap of the top 10 posts on Hacker News on Sep 3, 2026.Feel free to leave feedback on Github: https://github.com/denolfe/hacker-news-highlights(00:00) - Intro (00:19) - Gemini 3.8 Flash and...

3 Sep 13min

9.2.26 | Claude Fable 5.1 and Claude Mythos 5.1, Ed Zitron's AI skeptic predictions, Ad Blocker for Firefox on iOS

This is a recap of the top 10 posts on Hacker News on Sep 2, 2026.Feel free to leave feedback on Github: https://github.com/denolfe/hacker-news-highlights(00:00) - Intro (00:19) - Claude Fable 5.1 and...

2 Sep 13min