Hacker News with Generative AI

OpenAI are quietly adopting skills, now available in ChatGPT and Codex CLI (simonwillison.net)
macOS 26.2 enables fast AI clusters with RDMA over Thunderbolt (apple.com)
Poor Johnny still won't encrypt (bfswa.substack.com)
1300 Still Images from the Animated Films of Hayao Miyazaki's Studio Ghibli (2023) (ghibli.jp)
GNU Unifont (unifoundry.com)
Ferrari's Formula 1 Handovers: Handovers from Surgery to Intensive Care 2008;pdf (gwern.net)
Apple has locked my Apple ID, and I have no recourse. A plea for help (hey.paris)
Rats Play DOOM (ratsplaydoom.com)
Show HN: Tiny VM sandbox in C with apps in Rust, C and Zig (github.com/ringtailsoftware)
Show HN: I made a spreadsheet where formulas also update backwards (victorpoughon.github.io)
So What Should We Call This – A Grue Jay? (cns.utexas.edu)
50 years of proof assistants (lawrencecpaulson.github.io)
Sick of smart TVs? Here are your best options (arstechnica.com)
Ensuring a National Policy Framework for Artificial Intelligence (whitehouse.gov)
Gild Just One Lily (smashingmagazine.com)
Capsudo: Rethinking Sudo with Object Capabilities (ariadne.space)
Slax: Live Pocket Linux (slax.org)
Freeing a Xiaomi humidifier from the cloud (0l.de)
The Checkerboard (99percentinvisible.org)
Show HN: A real-time 4D fractal explorer in the browser using WebGPU (bryanjj.github.io)
The Coming Need for Formal Specification (benjamincongdon.me)
Google Removes Sci-Hub Domains from U.S. Search Results Due to Dated Court Order (torrentfreak.com)
Doxers Posing as Cops Are Tricking Big Tech Firms into Sharing People's Data (wired.com)
Koralm Railway (oebb.at)
Go is portable, until it isn't (simpleobservability.com)
Oliver sacks put himself into his case studies. What was the cost? (newyorker.com)
Building small Docker images faster (hootr.club)
String theory inspires a brilliant, baffling new math proof (quantamagazine.org)
Pg_ClickHouse: A Postgres extension for querying ClickHouse (clickhouse.com)