Hacker News

OpenAI are quietly adopting skills, now available in ChatGPT and Codex CLI

macOS 26.2 enables fast AI clusters with RDMA over Thunderbolt

Show HN: Claude Code recipes for knowledge workers

GNU Unifont

Poor Johnny still won't encrypt

Ferrari's Formula 1 Handovers: Handovers from Surgery to Intensive Care 2008;pdf

1300 Still Images from the Animated Films of Hayao Miyazaki's Studio Ghibli

Rats Play DOOM

Show HN: Tiny VM sandbox in C with apps in Rust, C and Zig

So What Should We Call This – A Grue Jay?

50 years of proof assistants

Show HN: I made a spreadsheet where formulas also update backwards

Ensuring a National Policy Framework for Artificial Intelligence

Sick of smart TVs? Here are your best options

Capsudo: Rethinking Sudo with Object Capabilities

Freeing a Xiaomi humidifier from the cloud

Slax: Live Pocket Linux

Show HN: A real-time 4D fractal explorer in the browser using WebGPU

Google Removes Sci-Hub Domains from U.S. Search Results Due to Dated Court Order

The Checkerboard

Doxers Posing as Cops Are Tricking Big Tech Firms into Sharing People's Data

Oliver Sacks fabricated key details in his books

Motion (YC W20) Is Hiring Senior Staff Front End Engineers

Go is portable, until it isn't

The Coming Need for Formal Specification

String theory inspires a brilliant, baffling new math proof

Building small Docker images faster

Pg_ClickHouse: A Postgres extension for querying ClickHouse

Security issues with electronic invoices

CM0 – A new Raspberry Pi you can't buy