Machine Learning Street Talk (MLST)
New episode weekly, latest 3 days ago, since Apr 2020
Host this show? Claim it free to set your rates and verify your numbers. Claim this show
- episodes in the feed
- 272
- From the feed Oct 30
- sponsors in the last 90 days
- 9
- From the feed show notes · Oct 30
- on air, since Apr 2020
- 6 years
- From the feed Oct 30
About
Welcome! We engage in fascinating discussions with pre-eminent figures in the AI field. Our flagship show covers current affairs in AI, cognitive science, neuroscience and philosophy of mind with in-depth analysis. Our approach is unrivalled in terms of scope and rigour – we believe in intellectual diversity in AI, and we touch on all of the main ideas in the field with the hype surgically removed. MLST is run by Tim Scarfe, Ph.D (https://www.linkedin.com/in/ecsquizor/) and features regular appearances from MIT Doctor of Philosophy Keith Duggar (https://www.linkedin.com/in/dr-keith-duggar/).
From the show's RSS feed.
Episodes 272 episodes in the feed
Show 40 older episodes
Sponsors
14 brands found in this show's episode notes, newest first. Ads added when an episode plays aren't in the notes, so they aren't listed.
-
CyberFund
“SPONSOR:---Cyber Fund built the Monastery to help founders ship products that were impossible a year ago.”
From Mathematics Just Changed Forever — Kevin Hartnett -
Claude claude.ai
“transparency00:21:04 Sponsor: Parallel00:21:59 Kim Morrison, Claude and the zlib proof00:25:25 Can we specify complex systems?00:28:04 Specs change: proofs are cheaper to redo with AI00:31:27 From Lean 1 to Lean 400:34:57 Dependent types...”
From Who Checks a Proof No Human Can Read? — Leo de Moura -
Parallel parallel.ai
“Leonardo de Moura created Lean and co-created Z3. ---This episode is sponsored by Parallel.Parallel, where agents find answers: web search, extraction and deep research APIs built for AI agents.Start free with the Parallel MCP server and...”
From Who Checks a Proof No Human Can Read? — Leo de Moura -
arxiv.org
“coding agent for scientific and algorithmic discoveryhttps://arxiv.org/abs/2506.13131v1[00:21:35] Darwin Gödel Machine: Open-Ended Evolution of Self-Improving Agentshttps://arxiv.org/abs/2505.22954v3[00:23:45]...”
From When AI Research Starts Moving Faster Than Human Research - Zhengyao Jiang -
Weco AIhttps weco.ai
“limits of self-improvement---REFERENCES:organization:[00:00:30] Weco AIhttps://www.weco.ai/other:[00:00:33] AIDE²: The First Evidence of Recursive...”
From When AI Research Starts Moving Faster Than Human Research - Zhengyao Jiang -
openai.com
“Self-Improvementhttps://www.weco.ai/blog/first-evidence-of-recursive-self-improvement[00:14:11] Faulty reward functions in the wildhttps://openai.com/index/faulty-reward-functions/[00:29:59] The Hugging Face incident and the road...”
From When AI Research Starts Moving Faster Than Human Research - Zhengyao Jiang -
react-lm.github.io
“2https://github.com/google-research/weatherbench2[00:08:18] ReActhttps://react-lm.github.io/[00:39:43] Parameter Golfhttps://github.com/openai/parameter-golfpaper:[00:20:08] AlphaEvolve: A coding agent for scientific and algorithmic...”
From When AI Research Starts Moving Faster Than Human Research - Zhengyao Jiang -
springer.com
“Greatness Cannot Be Planned: The Myth of the...”
From When AI Research Starts Moving Faster Than Human Research - Zhengyao Jiang
Show 6 more brands
-
Notion notion.com
“This episode is sponsored by Notion. Learn more about Notion's Developer Platform today at https://notion.com/mlstWhy can deep networks discover abstractions that shallow models miss?”
From AI Is Learning at the Wrong Level of Abstraction — Matthieu Wyart -
arcprize.org
“singularity---REFERENCES:organization:[00:02:11] ARC-AGI-3https://arcprize.org/arc-agi/3[00:03:10] Tufa Labshttps://tufalabs.ai/team/[00:04:20] ARC-AGI-3 Preview Agent...”
From The Benchmark With No Instructions — ARC-AGI-3 (winning team!) -
Tufa Labs tufalabs.ai
“Disclosure: Tufa Labs sponsors MLST. ---TIMESTAMPS:00:00:00 Meet the Tufa team and what makes ARC-AGI-3 hard00:02:11 Locksmith game: reading the rules from raw frames00:03:10 Why build an independent research lab00:04:11 StochasticGoose:...”
From The Benchmark With No Instructions — ARC-AGI-3 (winning team!) -
anthropic.com
“RGB-Agenthttps://github.com/alexisfox7/RGB-Agent[00:14:38] Claude Codehttps://www.anthropic.com/claude-code[01:03:42] Qwen 3.6 27Bhttps://huggingface.co/Qwen/Qwen3.6-27Bpaper:[00:13:03] On the Measure of...”
From The Benchmark With No Instructions — ARC-AGI-3 (winning team!) -
huggingface.co
“Codehttps://www.anthropic.com/claude-code[01:03:42] Qwen 3.6 27Bhttps://huggingface.co/Qwen/Qwen3.6-27Bpaper:[00:13:03] On the Measure of Intelligencehttps://arxiv.org/abs/1911.01547[00:27:42]...”
From The Benchmark With No Instructions — ARC-AGI-3 (winning team!) -
incompleteideas.net
“(AlexNet)https://proceedings.neurips.cc/paper_files/paper/2012/file/c399862d3b9d6b76c8436e924a68c45b-Paper.pdfother:[01:18:16] The Bitter...”
From The Benchmark With No Instructions — ARC-AGI-3 (winning team!)
Audience
See who listens.
Signed in, you'll see what this show's listeners also love, when the show has a profile: brands, shows and interests. Taste data from Qloo.
Sign in to see itRates
No rate card yet.
Rates appear once the show claims this page and publishes them. Host this show? Claiming is free.