Hacker News for Dec 17, 2025

Welcome to 'The Automated Daily', your ultimate source for a streamlined and insightful daily news experience. Please support this podcast by checking out our sponsors: -Invest Like the Pros with StockMVP - https://www.stock-mvp.com/?via=ron Support The Automated Daily directly: Buy me a coffee: https://buymeacoffee.com/theautomateddaily Today's topics: -Firefox, ads, and user trust -Coursera and Udemy merger -AI-driven formal verification future -TLA+ modeling for distributed systems -Rust-powered Python type checker -Fortran’s modern comeback tour -A “no-API” rethink for GPUs -Mapping local surveillance deployments - https://investor.coursera.com/news/news-details/2025/Coursera-to-Combine-with-Udemy-to-Empower-the-Global-Workforce-with-Skills-for-the-AI-Era/default.aspx - https://uncenter.dev/posts/learning-fortran/ - https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html - https://infosec.press/brunomiguel/is-mozilla-trying-hard-to-kill-itself - http://muratbuffalo.blog