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.blogspot.com/2025/12/tla-modeling-tips.html -https://alpr.watch/ -https://www.sebastianaaltonen.com/blog/no-graphics-api -https://astral.sh/blog/ty -https://www.waterfox.com/blog/no-ai-here-response-to-mozilla/ Subscribe to edition specific feeds: - Space news * Apple Podcast English Spanish (coming soon) French (coming soon) * Spotify English Spanish (coming soon) French (coming soon) * RSS English Spanish (coming soon) French (coming soon) - Top news * Apple Podcast English Spanish French * Spotify English Spanish French * RSS English Spanish French - Tech news * Apple Podcast English Spanish French * Spotify English Spanish Spanish * RSS English Spanish French - Hacker news * Apple Podcast English Spanish French * Spotify English Spanish French * RSS English Spanish French - AI news * Apple Podcast English Spanish French * Spotify English Spanish French * RSS English Spanish French Visit our website at https://theautomateddaily.com/ Send feedback to feedback@theautomateddaily.com Youtube LinkedIn X (Twitter)