Hacker News top 30 - 2025-12-17
- alpr.watch alpr.watch - 348 comments 705 points
- This is not the future blog.mathieui.net - 389 comments 673 points
- Pricing Changes for GitHub Actions resources.github.com - 646 comments 583 points
- No Graphics API www.sebastianaaltonen.com - 96 comments 533 points
- Children with cancer scammed out of millions fundraised for their treatment www.bbc.com - 441 comments 525 points
- AI will make formal verification go mainstream martin.kleppmann.com - 236 comments 483 points
- Mozilla appoints new CEO Anthony Enzor-Demeo blog.mozilla.org - 722 comments 473 points
- Announcing the Beta release of ty astral.sh - 86 comments 459 points
- Coming soon: Simpler pricing and a better experience for GitHub Actions github.blog - 2 comments 448 points
- 40 percent of fMRI signals do not correspond to actual brain activity www.tum.de - 179 comments 423 points
- GPT Image 1.5 openai.com - 186 comments 387 points
- Sega Channel: VGHF Recovers over 100 Sega Channel ROMs - and More gamehistory.org - 39 comments 241 points
- No AI Here – A Response to Mozilla’s Next Chapter www.waterfox.com - 128 comments 225 points
- Bonsai: A Voxel Engine, from scratch github.com - 41 comments 224 points
- MIT professor shot at his Massachusetts home dies www.bbc.com - 114 comments 214 points
- The GitHub Actions control plane is no longer free www.blacksmith.sh - 3 comments 214 points
- VS Code deactivates IntelliCode in favor of the paid Copilot www.heise.de - 156 comments 210 points
- Rust GCC backend: Why and how blog.guillaume-gomez.fr - 100 comments 175 points
- Japan to revise romanization rules for first time in 70 years www.japantimes.co.jp - 136 comments 160 points
- I’m a Tech Lead, and nobody listens to me. What should I do? world.hey.com - 125 comments 152 points
- Vibe coding creates fatigue? www.tabulamag.com - 143 comments 149 points
- A2UI: A Protocol for Agent-Driven Interfaces a2ui.org - 65 comments 148 points
- ArkhamMirror: Airgapped investigation platform with CIA-style hypothesis testing github.com - 50 comments 139 points
- I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours simonwillison.net - 70 comments 125 points
- Tesla reports another Robotaxi crash electrek.co - 77 comments 123 points
- AI is wiping out entry-level tech jobs, leaving graduates stranded restofworld.org - 146 comments 120 points
- FVWM-95 - 2001 fvwm95.sourceforge.net - 83 comments 116 points
- A linear-time alternative for Dimensionality Reduction and fast visualisation medium.com - 32 comments 111 points
- The biggest heat pumps www.bbc.com - 141 comments 110 points
- A brief history of Times New Roman typographyforlawyers.com - 60 comments 106 points
December 17, 2025 ∙