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(508)

6.17.26 | Running local models is good now, SpaceX to buy Cursor for 60 billion dollars, GrapheneOS ported to Android 17

This is a recap of the top 10 posts on Hacker News on Jun 17, 2026.Feel free to leave feedback on Github: https://github.com/denolfe/hacker-news-highlights(00:00) - Intro (00:16) - Running local model...

17 Jun 13min

6.16.26 | Backdoor in LinkedIn offer, Iroh 1.0, replacing Claude GBT with local model

This is a recap of the top 10 posts on Hacker News on Jun 16, 2026.Feel free to leave feedback on Github: https://github.com/denolfe/hacker-news-highlights(00:00) - Intro (00:19) - A backdoor in a Lin...

16 Jun 12min

6.15.26 | Firewood Splitting Simulator, Your ePub Is fine, Kage—Shadow websites offline

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

15 Jun 13min

6.14.26 | Banned noise infusion from Census Bureau, Every Frame Perfect, Amazon CEO's talks sparked crackdown on Anthropic models

This is a recap of the top 10 posts on Hacker News on Jun 14, 2026.Feel free to leave feedback on Github: https://github.com/denolfe/hacker-news-highlights(00:00) - Intro (00:18) - Noise infusion bann...

14 Jun 14min

6.13.26 | US government halts Fable 5 and Mythos 5, open source AI must prevail, CRISPR targets "undruggable" cancers

This is a recap of the top 10 posts on Hacker News on Jun 13, 2026.Feel free to leave feedback on Github: https://github.com/denolfe/hacker-news-highlights(00:00) - Intro (00:20) - Statement on US gov...

13 Jun 14min

6.12.26 | Homebrew 6.0.0, human effort needed for attention, AI agent bankrupts operator scanning DN42

This is a recap of the top 10 posts on Hacker News on Jun 12, 2026.Feel free to leave feedback on Github: https://github.com/denolfe/hacker-news-highlights(00:00) - Intro (00:15) - Show HN: Homebrew 6...

12 Jun 13min

6.11.26 | Building an HTML-first site doubled users overnight, πFS, Eric Ries, "The Lean Startup," "Incorruptible" AMA

This is a recap of the top 10 posts on Hacker News on Jun 11, 2026.Feel free to leave feedback on Github: https://github.com/denolfe/hacker-news-highlights(00:00) - Intro (00:20) - Building an HTML-fi...

11 Jun 14min

6.10.26 | Claude Fable 5, old-school graphics, dependency on Claude Fable

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

10 Jun 15min