fp.

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

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

322•simonw•8h ago•183 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-...

371•guiand•11h ago•200 comments

Beautiful Abelian Sandpiles

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

13•eavan0•3d ago•4 comments

GNU Unifont

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

202•remywang•11h ago•53 comments

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

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

84•vinhnx•5h ago•15 comments

Rats Play DOOM

https://ratsplaydoom.com/

261•ano-ther•12h ago•94 comments

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

https://github.com/ringtailsoftware/uvm32

119•trj•10h ago•7 comments

Gild Just One Lily

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

13•serialx•4d ago•1 comments

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

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

41•bookofjoe•6d ago•13 comments

Sick of smart TVs? Here are your best options

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

254•fleahunter•19h ago•253 comments

Easel Now Has Stencils

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

6•BSTRhino•4d ago•1 comments

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

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

116•fouronnes3•1d ago•62 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•19 comments

Ensuring a National Policy Framework for Artificial Intelligence

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

108•andsoitis•1d ago•170 comments

50 years of proof assistants

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

80•baruchel•8h ago•12 comments

Freeing a Xiaomi humidifier from the cloud

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

71•stv0g•1d ago•36 comments

The Coming Need for Formal Specification

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

22•todsacerdoti•5h ago•16 comments

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

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

344•parisidau•3h ago•156 comments

Go is portable, until it isn't

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

62•khazit•5d ago•54 comments

The Checkerboard

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

43•thread_id•7h ago•9 comments

Koralm Railway

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

298•fzeindl•21h ago•176 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...

46•iamnothere•3h ago•11 comments

Capsudo: Rethinking sudo with object capabilities

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

61•fanf2•10h ago•34 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...

88•t-3•4h ago•20 comments

Slax: Live Pocket Linux

https://www.slax.org/

21•Ulf950•4d ago•3 comments

Building small Docker images faster

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

50•steinuil•21h ago•13 comments

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

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

1•ethanyu94•11h ago

Poor Johnny still won't encrypt

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

44•zdw•3h ago•42 comments

String theory inspires a brilliant, baffling new math proof

https://www.quantamagazine.org/string-theory-inspires-a-brilliant-baffling-new-math-proof-20251212/

136•ArmageddonIt•15h ago•139 comments

Pg_ClickHouse: A Postgres extension for querying ClickHouse

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

89•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

Beautiful Abelian Sandpiles

GNU Unifont

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

Rats Play DOOM

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

Gild Just One Lily

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

Sick of smart TVs? Here are your best options

Easel Now Has Stencils

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

So What Should We Call This – A Grue Jay?

Ensuring a National Policy Framework for Artificial Intelligence

50 years of proof assistants

Freeing a Xiaomi humidifier from the cloud

The Coming Need for Formal Specification

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

Go is portable, until it isn't

The Checkerboard

Koralm Railway

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

Capsudo: Rethinking sudo with object capabilities

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

Slax: Live Pocket Linux

Building small Docker images faster

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

Poor Johnny still won't encrypt

String theory inspires a brilliant, baffling new math proof

Pg_ClickHouse: A Postgres extension for querying ClickHouse

Gild Just One Lily

Comments

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

macOS 26.2 enables fast AI clusters with RDMA over Thunderbolt

Beautiful Abelian Sandpiles

GNU Unifont

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

Rats Play DOOM

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

Gild Just One Lily

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

Sick of smart TVs? Here are your best options

Easel Now Has Stencils

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

So What Should We Call This – A Grue Jay?

Ensuring a National Policy Framework for Artificial Intelligence

50 years of proof assistants

Freeing a Xiaomi humidifier from the cloud

The Coming Need for Formal Specification

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

Go is portable, until it isn't

The Checkerboard

Koralm Railway

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

Capsudo: Rethinking sudo with object capabilities

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

Slax: Live Pocket Linux

Building small Docker images faster

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

Poor Johnny still won't encrypt

String theory inspires a brilliant, baffling new math proof

Pg_ClickHouse: A Postgres extension for querying ClickHouse