Hacker News Highlights

This is a recap of the top 10 posts on Hacker News on Dec 13, 2025.

Feel free to leave feedback on Github: https://github.com/denolfe/hacker-news-highlights

  • (00:00) - Intro
  • (00:20) - Apple has locked my Apple ID, and I have no recourse. A plea for help
  • (01:24) - macOS 26.2 enables fast AI clusters with RDMA over Thunderbolt
  • (02:37) - OpenAI are quietly adopting skills, now available in ChatGPT and Codex CLI
  • (03:42) - Koralm Railway
  • (04:41) - Sick of smart TVs? Here are your best options
  • (05:53) - Rats Play DOOM
  • (06:47) - GNU Unifont
  • (08:00) - String theory inspires a brilliant, baffling new math proof
  • (09:11) - Show HN: I made a spreadsheet where formulas also update backwards
  • (10:25) - Show HN: Tiny VM sandbox in C with apps in Rust, C and Zig
  • (11:29) - Outro

Apple has locked my Apple ID, and I have no recourse. A plea for help
https://hey.paris/posts/appleid/
https://news.ycombinator.com/item?id=46252114

macOS 26.2 enables fast AI clusters with RDMA over Thunderbolt
https://developer.apple.com/documentation/macos-release-notes/macos-26_2-release-notes#RDMA-over-Thunderbolt
https://news.ycombinator.com/item?id=46248644

OpenAI are quietly adopting skills, now available in ChatGPT and Codex CLI
https://simonwillison.net/2025/Dec/12/openai-skills/
https://news.ycombinator.com/item?id=46250332

Koralm Railway
https://infrastruktur.oebb.at/en/projects-for-austria/railway-lines/southern-line-vienna-villach/koralm-railway
https://news.ycombinator.com/item?id=46242871

Sick of smart TVs? Here are your best options
https://arstechnica.com/gadgets/2025/12/the-ars-technica-guide-to-dumb-tvs/
https://news.ycombinator.com/item?id=46243655

Rats Play DOOM
https://ratsplaydoom.com/
https://news.ycombinator.com/item?id=46248323

GNU Unifont
https://unifoundry.com/unifont/index.html
https://news.ycombinator.com/item?id=46248859

String theory inspires a brilliant, baffling new math proof
https://www.quantamagazine.org/string-theory-inspires-a-brilliant-baffling-new-math-proof-20251212/
https://news.ycombinator.com/item?id=46245622

Show HN: I made a spreadsheet where formulas also update backwards
https://victorpoughon.github.io/bidicalc/
https://news.ycombinator.com/item?id=46234734

Show HN: Tiny VM sandbox in C with apps in Rust, C and Zig
https://github.com/ringtailsoftware/uvm32
https://news.ycombinator.com/item?id=46249538

What is Hacker News Highlights?

Daily overview of the Top 10 Hacker News posts. Post and comment summarization by AI.