12.17.25 | alpr.watch, GitHub Actions pricing changes, No Graphics API

Hacker News Highlights · Dec 17, 2025 · 12m

This is a recap of the top 10 posts on Hacker News on Dec 17, 2025.

Feel free to leave feedback on Github: https://github.com/denolfe/hacker-news-highlights

(00:00) - Intro

(00:17) - alpr.watch

(01:32) - Pricing Changes for GitHub Actions

(02:44) - No Graphics API

(03:52) - AI will make formal verification go mainstream

(05:13) - Announcing the Beta release of ty

(06:16) - Thin desires are eating life

(07:22) - Mozilla appoints new CEO Anthony Enzor-Demeo

(08:24) - 40 percent of fMRI signals do not correspond to actual brain activity

(09:39) - GPT Image 1.5

(10:47) - No AI* Here – A Response…