Sveriges mest populära poddar
Hacker News Highlights

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

11 min13 oktober 2025
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

Fler avsnitt av Hacker News Highlights

Visa alla avsnitt av Hacker News Highlights

Hacker News Highlights med Hacker News Highlights finns tillgänglig på flera plattformar. Informationen på denna sida kommer från offentliga podd-flöden.