Key mathematics equations & tables, v/
@codek_tv
.
@mit_csail
-
Beginner-Friendly Guide to Python Data Structures
By
–
A free, beginner-friendly guide to data structures in Python, v/
@swapnakpanda
: https://
bit.ly/3Xu0qSB -
Sister Mary Kenneth Keller: First Woman PhD in Computer Science
By
–
Born #otd in 1913: Sister Mary Kenneth Keller, who helped develop Basic. In 1965, she became the first woman to earn a PhD in computer science in the US: https://
bit.ly/3LVRHpK -
MIT Free Mathematics Course for Computer Science Engineering
By
–
A free MIT course breaking down mathematics for computer science & engineering: https://t.co/lrmKyeLsys (v/@MITOCW)
— MIT CSAIL (@MIT_CSAIL) 16 décembre 2025
Here, MIT prof. Tom Leighton, who is also the CEO & co-founder of Akamai, discusses what a proof is (Lesson 1). pic.twitter.com/XpddzcuGYPA free MIT course breaking down mathematics for computer science & engineering: https://
bit.ly/3XPi0Ao (v/
@MITOCW
) Here, MIT prof. Tom Leighton, who is also the CEO & co-founder of Akamai, discusses what a proof is (Lesson 1). -
MIT’s DisCIPL: Steering Smaller LMs for Complex Problem-Solving
By
–
LMs can struggle w/open-ended tasks that have constraints, such as advanced puzzles & math proofs. MIT’s "DisCIPL" uses an LLM to steer smaller LMs to collaborate on these prompts. It achieves accuracy & efficiency comparable to much leading models: https://
bit.ly/4rLcYmi -
How LLMs Download the Internet: Karpathy Explains
By
–
Andrej Karpathy, Eureka Labs founder & former Director of AI at Tesla, breaks down how LLMs like ChatGPT "download the Internet."
— MIT CSAIL (@MIT_CSAIL) 14 décembre 2025
Watch the full beginner-friendly breakdown here: https://t.co/doph3alGnE pic.twitter.com/EaNowJhVdSAndrej Karpathy, Eureka Labs founder & former Director of AI at Tesla, breaks down how LLMs like ChatGPT "download the Internet." Watch the full beginner-friendly breakdown here: https://
bit.ly/4o13PTx -
What Was Your Favorite AI Breakthrough This Year?
By
–
What was your favorite AI breakthrough this year?
-
Top 5 websites LLMs cited most in October
By
–
The 5 websites LLMs cited the most in October (v/Semrush): 1. Reddit
2. LinkedIn
3. Wikipedia
4. Medium
5. YouTube More data: https://
bit.ly/4pnq6Mt -
Grace Hopper: Computing Pioneer and Bug Innovator Legacy
By
–
Happy birthday to the late computing innovator Grace Hopper, who helped shape COBOL, made pioneering contributions to compilers, & popularized the word "bug."
— MIT CSAIL (@MIT_CSAIL) 9 décembre 2025
Watch her discuss the importance of information during a lecture at MIT in 1985: https://t.co/Pg774r74Te pic.twitter.com/mYaEczIsGkHappy birthday to the late computing innovator Grace Hopper, who helped shape COBOL, made pioneering contributions to compilers, & popularized the word "bug." Watch her discuss the importance of information during a lecture at MIT in 1985: https://
bit.ly/4pjt30A -
McKinsey Study Shows Organizations Scaling AI Agents Adoption
By
–
A new study from McKinsey reveals that many organizations are adopting AI, including AI agents. Still, many are in the early stages of scaling this technology: https://t.co/WEYIiBulrP pic.twitter.com/13W0pIg5IU
— MIT CSAIL (@MIT_CSAIL) 4 décembre 2025A new study from McKinsey reveals that many organizations are adopting AI, including AI agents. Still, many are in the early stages of scaling this technology: https://
bit.ly/47Urmzw