fp.

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

https://simonwillison.net/2025/Dec/12/openai-skills/

309•simonw•8h ago•173 comments

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-...

363•guiand•11h ago•197 comments

Poor Johnny still won't encrypt

https://bfswa.substack.com/p/poor-johnny-still-wont-encrypt

41•zdw•3h ago•38 comments

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

https://www.ghibli.jp/info/013772/

76•vinhnx•4h ago•13 comments

GNU Unifont

https://unifoundry.com/unifont/index.html

200•remywang•10h ago•53 comments

Rats Play DOOM

https://ratsplaydoom.com/

254•ano-ther•11h ago•93 comments

Beautiful Abelian Sandpiles

https://eavan.blog/posts/beautiful-sandpiles.html

9•eavan0•3d ago•3 comments

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

https://gwern.net/doc/technology/2008-sower.pdf

37•bookofjoe•6d ago•11 comments

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

https://github.com/ringtailsoftware/uvm32

117•trj•9h ago•6 comments

Gild Just One Lily

https://www.smashingmagazine.com/2025/04/gild-just-one-lily/

12•serialx•4d ago•1 comments

Sick of smart TVs? Here are your best options

https://arstechnica.com/gadgets/2025/12/the-ars-technica-guide-to-dumb-tvs/

240•fleahunter•18h ago•246 comments

So What Should We Call This – A Grue Jay?

https://cns.utexas.edu/news/research/so-what-should-we-call-grue-jay

46•surprisetalk•5d ago•17 comments

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

https://victorpoughon.github.io/bidicalc/

111•fouronnes3•1d ago•60 comments

Apple has locked my Apple ID, and I have no recourse. A plea for help

https://hey.paris/posts/appleid/

296•parisidau•2h ago•131 comments

Ensuring a National Policy Framework for Artificial Intelligence

https://www.whitehouse.gov/presidential-actions/2025/12/eliminating-state-law-obstruction-of-nati...

105•andsoitis•1d ago•168 comments

50 years of proof assistants

https://lawrencecpaulson.github.io//2025/12/05/History_of_Proof_Assistants.html

77•baruchel•8h ago•12 comments

Freeing a Xiaomi humidifier from the cloud

https://0l.de/blog/2025/11/xiaomi-humidifier/

68•stv0g•1d ago•36 comments

Go is portable, until it isn't

https://simpleobservability.com/blog/go-portable-until-isnt

57•khazit•5d ago•50 comments

The Coming Need for Formal Specification

https://benjamincongdon.me/blog/2025/12/12/The-Coming-Need-for-Formal-Specification/

17•todsacerdoti•4h ago•14 comments

Easel Now Has Stencils

https://easel.games/blog/2025-dec-update

3•BSTRhino•4d ago•1 comments

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

https://www.wired.com/story/doxers-posing-as-cops-are-tricking-big-tech-firms-into-sharing-people...

39•iamnothere•2h ago•9 comments

The Checkerboard

https://99percentinvisible.org/episode/650-the-checkerboard/

41•thread_id•7h ago•7 comments

Koralm Railway

https://infrastruktur.oebb.at/en/projects-for-austria/railway-lines/southern-line-vienna-villach/...

295•fzeindl•21h ago•174 comments

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

https://torrentfreak.com/google-removes-sci-hub-domains-from-u-s-search-results-due-to-dated-cour...

78•t-3•4h ago•19 comments

Capsudo: Rethinking Sudo with Object Capabilities

https://ariadne.space/2025/12/12/rethinking-sudo-with-object-capabilities.html

59•fanf2•10h ago•33 comments

Slax: Live Pocket Linux

https://www.slax.org/

18•Ulf950•4d ago•3 comments

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

https://jobs.ashbyhq.com/motion/715d9646-27d4-44f6-9229-61eb0380ae39

1•ethanyu94•10h ago

Building small Docker images faster

https://sgt.hootr.club/blog/docker-protips/

48•steinuil•21h ago•13 comments

Oliver sacks put himself into his case studies. What was the cost?

https://www.newyorker.com/magazine/2025/12/15/oliver-sacks-put-himself-into-his-case-studies-what...

55•talonx•4h ago•12 comments

Pg_ClickHouse: A Postgres extension for querying ClickHouse

https://clickhouse.com/blog/introducing-pg_clickhouse

87•spathak•2d ago•32 comments

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

macOS 26.2 enables fast AI clusters with RDMA over Thunderbolt

Poor Johnny still won't encrypt

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

GNU Unifont

Rats Play DOOM

Beautiful Abelian Sandpiles

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

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

Gild Just One Lily

Sick of smart TVs? Here are your best options

So What Should We Call This – A Grue Jay?

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

Apple has locked my Apple ID, and I have no recourse. A plea for help

Ensuring a National Policy Framework for Artificial Intelligence

50 years of proof assistants

Freeing a Xiaomi humidifier from the cloud

Go is portable, until it isn't

The Coming Need for Formal Specification

Easel Now Has Stencils

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

The Checkerboard

Koralm Railway

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

Capsudo: Rethinking Sudo with Object Capabilities

Slax: Live Pocket Linux

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

Building small Docker images faster

Oliver sacks put himself into his case studies. What was the cost?

Pg_ClickHouse: A Postgres extension for querying ClickHouse

Disney making $1B investment in OpenAI, will allow characters on Sora AI

Comments

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

macOS 26.2 enables fast AI clusters with RDMA over Thunderbolt

Poor Johnny still won't encrypt

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

GNU Unifont

Rats Play DOOM

Beautiful Abelian Sandpiles

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

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

Gild Just One Lily

Sick of smart TVs? Here are your best options

So What Should We Call This – A Grue Jay?

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

Apple has locked my Apple ID, and I have no recourse. A plea for help

Ensuring a National Policy Framework for Artificial Intelligence

50 years of proof assistants

Freeing a Xiaomi humidifier from the cloud

Go is portable, until it isn't

The Coming Need for Formal Specification

Easel Now Has Stencils

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

The Checkerboard

Koralm Railway

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

Capsudo: Rethinking Sudo with Object Capabilities

Slax: Live Pocket Linux

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

Building small Docker images faster

Oliver sacks put himself into his case studies. What was the cost?

Pg_ClickHouse: A Postgres extension for querying ClickHouse