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

Hacker News Highlights · Oct 13, 2025 · 11m

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…