Artwork

A tartalmat a Hacker News Highlights biztosítja. Az összes podcast-tartalmat, beleértve az epizódokat, grafikákat és podcast-leírásokat, közvetlenül a Hacker News Highlights vagy a podcast platform partnere tölti fel és biztosítja. Ha úgy gondolja, hogy valaki az Ön engedélye nélkül használja fel a szerzői joggal védett művét, kövesse az itt leírt folyamatot https://hu.player.fm/legal.
Player FM - Podcast alkalmazás
Lépjen offline állapotba az Player FM alkalmazással!

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

11:17
 
Megosztás
 

Manage episode 513367559 series 3641526
A tartalmat a Hacker News Highlights biztosítja. Az összes podcast-tartalmat, beleértve az epizódokat, grafikákat és podcast-leírásokat, közvetlenül a Hacker News Highlights vagy a podcast platform partnere tölti fel és biztosítja. Ha úgy gondolja, hogy valaki az Ön engedélye nélkül használja fel a szerzői joggal védett művét, kövesse az itt leírt folyamatot https://hu.player.fm/legal.
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

  continue reading

283 epizódok

Artwork
iconMegosztás
 
Manage episode 513367559 series 3641526
A tartalmat a Hacker News Highlights biztosítja. Az összes podcast-tartalmat, beleértve az epizódokat, grafikákat és podcast-leírásokat, közvetlenül a Hacker News Highlights vagy a podcast platform partnere tölti fel és biztosítja. Ha úgy gondolja, hogy valaki az Ön engedélye nélkül használja fel a szerzői joggal védett művét, kövesse az itt leírt folyamatot https://hu.player.fm/legal.
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

  continue reading

283 epizódok

Tất cả các tập

×
 
Loading …

Üdvözlünk a Player FM-nél!

A Player FM lejátszó az internetet böngészi a kiváló minőségű podcastok után, hogy ön élvezhesse azokat. Ez a legjobb podcast-alkalmazás, Androidon, iPhone-on és a weben is működik. Jelentkezzen be az feliratkozások szinkronizálásához az eszközök között.

 

Gyors referencia kézikönyv

Hallgassa ezt a műsort, miközben felfedezi
Lejátszás