EDUCATION

→ View original post on X — @wadhwaniai

HealthVaani AI Assistant Brings Health Knowledge to India’s Frontline Workers

By

@wadhwaniai

–

11 August 2025 8h56

For India's frontline workers, critical health knowledge is often in manuals, not at their fingertips. Our AI assistant, #HealthVaani, makes it accessible on-demand via voice or text. We're sharing learnings from our 650-worker pilot across 6 states

→ View original post on X — @animaanandkumar

LeanDojo Major Update: Lean 4 Code IDE for Verified Math

By

@animaanandkumar

–

11 August 2025 7h37

Major update of LeanDojo: Lean + LLM for verified math reasoning. https://t.co/yYKUrhx7UG

Lean4Code v1.0.0 – A specialized integrated development environment built as a fork of VS Code, designed specifically for Lean theorem proving. The IDE features automatic Lean installation,… pic.twitter.com/PWJEVWMhaf
— Prof. Anima Anandkumar (@AnimaAnandkumar) 11 août 2025

Major update of LeanDojo: Lean + LLM for verified math reasoning.
https://
leandojo.org Lean4Code v1.0.0 – A specialized integrated development environment built as a fork of VS Code, designed specifically for Lean theorem proving. The IDE features automatic Lean installation,

Machine Learning Python Book for Algorithmic Trading and Time Series

By

–

11 August 2025 6h27

Comprehensive 822-page book on #MachineLearning with #Python for #AlgorithmicTrading (useful in many other business & industry #TimeSeries applications): http://
amzn.to/3aCyVwY by @ml4trading ——
#IoT #IIoT #Edge #AI #DataScience #EdgeComputing #Industry40 #EdgeAI #Forecasting

→ View original post on X — @pmddomingos

UW Alumni Success: Matt Deitke’s $250M Meta Achievement

By

@pmddomingos

–

11 August 2025 6h15

Come to UW and we’ll teach it to you. Our alum Matt Deitke (4 yrs BS, dropped out of PhD after 1 yr, few months at startup) went straight to making $250M at Meta.

→ View original post on X — @pmddomingos

Computer Science Enrollment Surge Expected as AI Hype Settles

By

@pmddomingos

–

11 August 2025 4h36

Now is the time to major in computer science, before people realize that AI isn’t going to make it obsolete and enrollment skyrockets again.

Reinforcement Learning Classic Book Second Edition Released

By

–

11 August 2025 1h24

#ReinforcementLearning foundational book (2nd edition of this classic): http://
amzn.to/3UtbeAa
—————
#DataScience #AI #MachineLearning #ML #DeepLearning #DataMining #Mathematics #Gamification

Comprehensive Data Science Coding Books for R and Python

By

–

10 August 2025 23h11

Be a #DataScience superhero with one (or both) of these HUGE comprehensive #Coding books:
1) R: http://
amzn.to/2SqA2Wi (832 pages)
2) #Python: http://
amzn.to/3X7131Z (552 pages)
—————
#Rstats #Statistics #Analytics #AI #ML #MachineLearning #DataLiteracy #DataScientist

→ View original post on X — @saboo_shubham_

10 August 2025

Free LLM Tutorials: AI Agents, RAG Systems, Voice and Multi-agent

By

@saboo_shubham_

–

10 August 2025 21h28

I'd add Awesome LLM Apps and @unwind_ai_ to your resources. 100+ free step-by-step tutorials with code covering: AI Agents RAG Systems Voice AI Agents MCP AI Agents Multi-agent Teams Autonomous Game Playing Agents

10 August 2025

New AI for IoT Book Release: Machine Learning and Deep Learning Techniques

By

–

10 August 2025 19h35

New #AIoT release from @PacktDataML >> Hands-On #AI for #IoT : Expert #MachineLearning and #DeepLearning techniques for developing smarter IoT systems [2nd Edition] See it at http://
amzn.to/3YAu6hS 𝓚𝓮𝔂 𝓕𝓮𝓪𝓽𝓾𝓻𝓮𝓼: Leverage the power of Python libraries such as