Hacker News Digest · December 13, 2025

OpenAI are quietly adopting skills, now available in ChatGPT and Codex CLI simonwillison.net / 136 comments

macOS 26.2 enables fast AI clusters with RDMA over Thunderbolt developer.apple.com / 179 comments

Show HN: Claude Code Recipes for Knowledge Workers (Open Source) github.com / 0 comments

GNU Unifont unifoundry.com / 50 comments

Ferrari’s Formula 1 Handovers: Handovers from Surgery to Intensive Care 2008;pdf gwern.net / 5 comments

1300 Still Images from the Animated Films of Hayao Miyazaki’s Studio Ghibli ghibli.jp / 1 comments

Poor Johnny still won’t encrypt bfswa.substack.com / 0 comments

Rats Play DOOM ratsplaydoom.com / 84 comments

Show HN: Tiny VM sandbox in C with apps in Rust, C and Zig github.com / 5 comments

50 years of proof assistants lawrencecpaulson.github.io / 6 comments

Last updated: 2025-12-13 05:02:14 UTC