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

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 [email protected]

Youtube

LinkedIn

X (Twitter)