fp.

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

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

323•simonw•8h ago•184 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-...

373•guiand•11h ago•201 comments

GNU Unifont

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

202•remywang•11h ago•53 comments

Beautiful Abelian Sandpiles

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

14•eavan0•3d ago•5 comments

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

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

85•vinhnx•5h ago•15 comments

Rats Play DOOM

https://ratsplaydoom.com/

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

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

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

45•bookofjoe•6d ago•13 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

Sick of smart TVs? Here are your best options

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

257•fleahunter•19h ago•254 comments

Gild Just One Lily

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

13•serialx•4d ago•1 comments

Easel Now Has Stencils

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

6•BSTRhino•4d ago•1 comments

So What Should We Call This – A Grue Jay?

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

47•surprisetalk•5d ago•20 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

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

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

116•fouronnes3•1d ago•64 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/

72•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•17 comments

Go is portable, until it isn't

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

64•khazit•5d ago•54 comments

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

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

353•parisidau•3h ago•162 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•177 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...

90•t-3•5h ago•20 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•12 comments

Slax: Live Pocket Linux

https://www.slax.org/

21•Ulf950•4d ago•3 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•16h ago•139 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•4h ago•42 comments

Pg_ClickHouse: A Postgres extension for querying ClickHouse

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

89•spathak•2d ago•32 comments

CM0 – A new Raspberry Pi you can't buy

https://www.jeffgeerling.com/blog/2025/cm0-new-raspberry-pi-you-cant-buy

184•speckx•17h ago•47 comments