fp.

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

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

121•simonw•2h ago•73 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-...

281•guiand•5h ago•149 comments

GNU Unifont

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

156•remywang•5h ago•47 comments

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

https://github.com/ringtailsoftware/uvm32

71•trj•4h ago•4 comments

Rats Play DOOM

https://ratsplaydoom.com/

183•ano-ther•6h ago•78 comments

Ensuring a National Policy Framework for Artificial Intelligence

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

75•andsoitis•1d ago•103 comments

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

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

63•fouronnes3•1d ago•19 comments

50 years of proof assistants

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

37•baruchel•3h ago•3 comments

Capsudo: Rethinking Sudo with Object Capabilities

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

40•fanf2•4h ago•13 comments

Go is portable, until it isn't

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

27•khazit•5d ago•26 comments

Freeing a Xiaomi humidifier from the cloud

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

29•stv0g•20h ago•19 comments

SQLite JSON at full index speed using generated columns

https://www.dbpro.app/blog/sqlite-json-virtual-columns-indexing

315•upmostly•13h ago•99 comments

Security issues with electronic invoices

https://invoice.secvuln.info/

74•todsacerdoti•6h ago•42 comments

Sick of smart TVs? Here are your best options

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

114•fleahunter•13h ago•144 comments

Pg_ClickHouse: A Postgres extension for querying ClickHouse

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

72•spathak•2d ago•28 comments

Building small Docker images faster

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

28•steinuil•16h ago•7 comments

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

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

1•ethanyu94•5h ago

The Checkerboard

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

10•thread_id•1h ago•1 comments

Home Depot GitHub token exposed for a year, granted access to internal systems

https://techcrunch.com/2025/12/12/home-depot-exposed-access-to-internal-systems-for-a-year-says-r...

195•kernelrocks•8h ago•116 comments

String theory inspires a brilliant, baffling new math proof

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

111•ArmageddonIt•10h ago•107 comments

CM0 – A new Raspberry Pi you can't buy

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

167•speckx•11h ago•41 comments

Async DNS

https://flak.tedunangst.com/post/async-dns

99•todsacerdoti•9h ago•31 comments

Bit flips: How cosmic rays grounded a fleet of aircraft

https://www.bbc.com/future/article/20251201-how-cosmic-rays-grounded-thousands-of-aircraft

56•signa11•4d ago•59 comments

Fast Median Filter over arbitrary datatypes

https://martianlantern.github.io/2025/09/median-filter-over-arbitrary-datatypes/

23•martianlantern•6d ago•2 comments

C64 Maze Chomp.BAS

https://basic-code.bearblog.dev/c64-maze-chompbas/

17•ibobev•5d ago•1 comments

Fedora: Open-source repository for long-term digital preservation

https://fedorarepository.org/

105•cernocky•13h ago•50 comments

Using secondary school maths to demystify AI

https://www.raspberrypi.org/blog/secondary-school-maths-showing-that-ai-systems-dont-think/

101•zdw•9h ago•214 comments

Microservices should form a polytree

https://bytesauna.com/post/microservices

108•mapehe•4d ago•100 comments

Good conversations have lots of doorknobs (2022)

https://www.experimental-history.com/p/good-conversations-have-lots-of-doorknobs

64•bertwagner•4d ago•11 comments

From text to token: How tokenization pipelines work

https://www.paradedb.com/blog/when-tokenization-becomes-token

110•philippemnoel•1d ago•19 comments

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

macOS 26.2 enables fast AI clusters with RDMA over Thunderbolt

GNU Unifont

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

Rats Play DOOM

Ensuring a National Policy Framework for Artificial Intelligence

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

50 years of proof assistants

Capsudo: Rethinking Sudo with Object Capabilities

Go is portable, until it isn't

Freeing a Xiaomi humidifier from the cloud

SQLite JSON at full index speed using generated columns

Security issues with electronic invoices

Sick of smart TVs? Here are your best options

Pg_ClickHouse: A Postgres extension for querying ClickHouse

Building small Docker images faster

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

The Checkerboard

Home Depot GitHub token exposed for a year, granted access to internal systems

String theory inspires a brilliant, baffling new math proof

CM0 – A new Raspberry Pi you can't buy

Async DNS

Bit flips: How cosmic rays grounded a fleet of aircraft

Fast Median Filter over arbitrary datatypes

C64 Maze Chomp.BAS

Fedora: Open-source repository for long-term digital preservation

Using secondary school maths to demystify AI

Microservices should form a polytree

Good conversations have lots of doorknobs (2022)

From text to token: How tokenization pipelines work

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

macOS 26.2 enables fast AI clusters with RDMA over Thunderbolt

GNU Unifont

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

Rats Play DOOM

Ensuring a National Policy Framework for Artificial Intelligence

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

50 years of proof assistants

Capsudo: Rethinking Sudo with Object Capabilities

Go is portable, until it isn't

Freeing a Xiaomi humidifier from the cloud

SQLite JSON at full index speed using generated columns

Security issues with electronic invoices

Sick of smart TVs? Here are your best options

Pg_ClickHouse: A Postgres extension for querying ClickHouse

Building small Docker images faster

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

The Checkerboard

Home Depot GitHub token exposed for a year, granted access to internal systems

String theory inspires a brilliant, baffling new math proof

CM0 – A new Raspberry Pi you can't buy

Async DNS

Bit flips: How cosmic rays grounded a fleet of aircraft

Fast Median Filter over arbitrary datatypes

C64 Maze Chomp.BAS

Fedora: Open-source repository for long-term digital preservation

Using secondary school maths to demystify AI

Microservices should form a polytree

Good conversations have lots of doorknobs (2022)

From text to token: How tokenization pipelines work

Hyper-Typing

Comments