Daily Top Stories
1.
alpr.watch (alpr.watch)
2.
No Graphics API (sebastianaaltonen.com)
3.
Pricing Changes for GitHub Actions (resources.github.com)
4.
This is not the future (blog.mathieui.net)
5.
AI will make formal verification go mainstream (martin.kleppmann.com)
6.
Announcing the Beta release of ty (astral.sh)
7.
Mozilla appoints new CEO Anthony Enzor-Demeo (blog.mozilla.org)
8.
GPT Image 1.5 (openai.com)
9.
40 percent of fMRI signals do not correspond to actual brain activity (tum.de)
10.
Coming soon: Simpler pricing and a better experience for GitHub Actions (github.blog)
11.
Is Mozilla trying hard to kill itself? (infosec.press)
12.
No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)
13.
MIT professor shot at his Massachusetts home dies (bbc.com)
14.
The GitHub Actions control plane is no longer free (blacksmith.sh)
15.
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours (simonwillison.net)
16.
Rust GCC backend: Why and how (blog.guillaume-gomez.fr)
17.
Vibe coding creates fatigue? (tabulamag.com)
18.
Tesla reports another Robotaxi crash (electrek.co)
19.
AI is wiping out entry-level tech jobs, leaving graduates stranded (restofworld.org)
20.
Writing a blatant Telegram clone using Qt, QML and Rust. And C++ (kemble.net)
21.
FVWM-95 (2001) (fvwm95.sourceforge.net)
22.
Overconsumption is a spiritual problem (sherryning.com)
23.
A brief history of Times New Roman (typographyforlawyers.com)
24.
Devs say Apple still flouting EU's Digital Markets Act six months on (theregister.com)
25.
Chat-tails: Throwback terminal chat, built on Tailscale (tailscale.com)
26.
U.S. unemployment rose in November despite job gains (wsj.com)
27.
Introduction to Software Development Tooling (2024) (bernsteinbear.com)
28.
Dafny: Verification-Aware Programming Language (dafny.org)
29.
Show HN: Learn Japanese contextually while browsing (lingoku.ai)
30.
US threatens EU digital services market access (twitter.com)