fp.

More people crowdfunded basic needs in 2025, GoFundMe report shows

https://www.fastcompany.com/91457282/gofundme-year-in-help-report-crowdfunding-basic-needs

1•geox•2m ago•0 comments

Prediction: AI will make formal verification go mainstream

https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html

1•gritzko•2m ago•0 comments

Taxonomy, Ontology, Knowledge Graph, and Semantics [video]

https://www.youtube.com/watch?v=sr257blfdY8

1•vamsi_kurama•3m ago•0 comments

Linux Kernel Version Numbers

http://www.kroah.com/log/blog/2025/12/09/linux-kernel-version-numbers/

1•stefanhoelzl•5m ago•0 comments

54% of 22–32‑year‑old finance professionals "love" Excel

https://windowsforum.com/threads/excel-in-modern-finance-generational-love-ai-and-governance.393026/

1•sh_tomer•5m ago•0 comments

1 html search engine

https://k8o5.github.io/search

1•k8o5•6m ago•0 comments

10 Years of Let's Encrypt

https://letsencrypt.org/2025/12/09/10-years

2•SGran•7m ago•0 comments

Marketing for games, a metric dashboard to help indiedevs to find creators

https://www.marketingforgames.com/

1•benithemaker•7m ago•0 comments

Show HN: DepsShield – Real-time dependency security for AI coding agents

https://depsshield.com

1•mikehanol•7m ago•0 comments

Adactio: Journal–Installing Web Apps

https://adactio.com/journal/22278

1•ulrischa•9m ago•0 comments

ASML sold chip machine parts to Chinese military and quantum research institutes

https://nltimes.nl/2025/12/09/asml-sold-chip-machine-parts-chinese-military-quantum-research-inst...

1•giuliomagnifico•10m ago•0 comments

Claude Island

https://github.com/farouqaldori/claude-island

1•handfuloflight•10m ago•0 comments

Quick Docker Tutorial to Run a Python Script

https://en.andros.dev/blog/5d4edfbf/quick-docker-tutorial-to-run-a-python-script/

2•ibobev•10m ago•0 comments

Bublr – If Pinterest and Substack had a child

https://www.bublr.life/

1•SolomonLijo•10m ago•1 comments

What companies can learn from past products we love – a retro tech gift guide

https://caseorganic.medium.com/what-companies-can-learn-from-past-products-we-love-and-an-alterna...

1•SLHamlet•11m ago•1 comments

Modern SQL: Beyond Relational

https://modern-sql.com/

1•ciconia•11m ago•0 comments

Kill old app versions instantly

https://teardown.dev

1•UrbanChrisy•16m ago•1 comments

Japan warns of possible megaquake after powerful earthquake, 98-foot tsunami

https://www.cbsnews.com/news/japan-earthquake-megaquake-advisory-tsunami/

1•mikhael•17m ago•1 comments

The Vault Guy

https://www.science.org/content/article/biologist-aims-solve-cell-s-biggest-mystery-could-it-help...

1•mzs•17m ago•0 comments

Why AI reading science fiction could be a problem

https://www.transformernews.ai/p/why-ai-reading-science-fiction-could

1•bookofjoe•19m ago•0 comments

So You Want to Speak at Software Conferences?

https://dylanbeattie.net/2025/12/08/so-you-want-to-speak-at-software-conferences.html

5•speckx•19m ago•0 comments

What I Wish I Knew When I Started in Identity

https://sphericalcowconsulting.com/2025/12/09/starting-in-identity/

1•mooreds•19m ago•0 comments

The CLaRa-7B models unify RAG and provide built-in semantic doc compression

https://huggingface.co/apple/CLaRa-7B-Base

1•anactofgod•19m ago•1 comments

The Birth of the Internet Troll (2014)

https://gizmodo.com/the-first-internet-troll-1652485292

3•fanf2•19m ago•0 comments

NPM classic tokens revoked, session-based auth and CLI token management now

https://github.blog/changelog/2025-12-09-npm-classic-tokens-revoked-session-based-auth-and-cli-to...

1•sdko•20m ago•0 comments

Ask HN: IPv6 capable transactional email senders?

1•hevisko•21m ago•0 comments

'Food and fossil fuel production causing $5B of environmental damage an hour'

https://www.theguardian.com/environment/2025/dec/09/food-fossil-fuel-production-5bn-environmental...

1•ndsipa_pomu•24m ago•0 comments

Crunchyroll Is Shutting Down Its Free Ad-Supported Plan

https://cordcuttersnews.com/crunchyroll-is-shutting-down-its-free-ad-supported-plan/

1•akyuu•25m ago•0 comments

0.5.0 release for protoc-gen-prost with buf.build

https://old.reddit.com/r/rust/comments/1pif945/new_protocgenprost_release

1•mxplusb•25m ago•0 comments

Former Twitter Attorney Files for 'Twitter' Trademark

https://www.gerbenlaw.com/blog/former-twitter-attorney-files-for-twitter-trademark-challenges-x-c...

4•edent•26m ago•1 comments

More people crowdfunded basic needs in 2025, GoFundMe report shows

Prediction: AI will make formal verification go mainstream

Taxonomy, Ontology, Knowledge Graph, and Semantics [video]

Linux Kernel Version Numbers

54% of 22–32‑year‑old finance professionals "love" Excel

1 html search engine

10 Years of Let's Encrypt

Marketing for games, a metric dashboard to help indiedevs to find creators

Show HN: DepsShield – Real-time dependency security for AI coding agents

Adactio: Journal–Installing Web Apps

ASML sold chip machine parts to Chinese military and quantum research institutes

Claude Island

Quick Docker Tutorial to Run a Python Script

Bublr – If Pinterest and Substack had a child

What companies can learn from past products we love – a retro tech gift guide

Modern SQL: Beyond Relational

Kill old app versions instantly

Japan warns of possible megaquake after powerful earthquake, 98-foot tsunami

The Vault Guy

Why AI reading science fiction could be a problem

So You Want to Speak at Software Conferences?

What I Wish I Knew When I Started in Identity

The CLaRa-7B models unify RAG and provide built-in semantic doc compression

The Birth of the Internet Troll (2014)

NPM classic tokens revoked, session-based auth and CLI token management now

Ask HN: IPv6 capable transactional email senders?

'Food and fossil fuel production causing $5B of environmental damage an hour'

Crunchyroll Is Shutting Down Its Free Ad-Supported Plan

0.5.0 release for protoc-gen-prost with buf.build

Former Twitter Attorney Files for 'Twitter' Trademark

Frameworks for Understanding Databases

More people crowdfunded basic needs in 2025, GoFundMe report shows

Prediction: AI will make formal verification go mainstream

Taxonomy, Ontology, Knowledge Graph, and Semantics [video]

Linux Kernel Version Numbers

54% of 22–32‑year‑old finance professionals "love" Excel

1 html search engine

10 Years of Let's Encrypt

Marketing for games, a metric dashboard to help indiedevs to find creators

Show HN: DepsShield – Real-time dependency security for AI coding agents

Adactio: Journal–Installing Web Apps

ASML sold chip machine parts to Chinese military and quantum research institutes

Claude Island

Quick Docker Tutorial to Run a Python Script

Bublr – If Pinterest and Substack had a child

What companies can learn from past products we love – a retro tech gift guide

Modern SQL: Beyond Relational

Kill old app versions instantly

Japan warns of possible megaquake after powerful earthquake, 98-foot tsunami

The Vault Guy

Why AI reading science fiction could be a problem

So You Want to Speak at Software Conferences?

What I Wish I Knew When I Started in Identity

The CLaRa-7B models unify RAG and provide built-in semantic doc compression

The Birth of the Internet Troll (2014)

NPM classic tokens revoked, session-based auth and CLI token management now

Ask HN: IPv6 capable transactional email senders?

'Food and fossil fuel production causing $5B of environmental damage an hour'

Crunchyroll Is Shutting Down Its Free Ad-Supported Plan

0.5.0 release for protoc-gen-prost with buf.build

Former Twitter Attorney Files for 'Twitter' Trademark