Hacker News Digest · December 17, 2025

AI will make formal verification go mainstream martin.kleppmann.com / 210 comments

alpr.watch alpr.watch / 338 comments

No Graphics API sebastianaaltonen.com / 90 comments

Announcing the Beta release of ty astral.sh / 80 comments

Midjourney is alemwjsl aadillpickle.com / 47 comments

GPT Image 1.5 openai.com / 183 comments

Pricing Changes for GitHub Actions resources.github.com / 627 comments

CS 4973: Introduction to Software Development Tooling – Northeastern Univ (2024) bernsteinbear.com / 4 comments

I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours simonwillison.net / 57 comments

40 percent of fMRI signals do not correspond to actual brain activity tum.de / 179 comments

Last updated: 2025-12-17 05:03:24 UTC