{"podcast":{"title":"Machine Learning Street Talk (MLST)","slug":"machine-learning-street-talk","podcast_index_feed_id":781643,"rss_url":"https://anchor.fm/s/1e4a0eac/podcast/rss","website_url":"https://podcasters.spotify.com/pod/show/machinelearningstreettalk","image_url":"https://d3t3ozftmdmh3i.cloudfront.net/staging/podcast_uploaded_nologo/4981699/4981699-1757416025703-f026fa81b6d04.jpg","author":"Machine Learning Street Talk (MLST)","episode_count":262,"summary":"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/).","last_synced_at":"2026-09-09T02:20:14.331532+00:00","page_url":"https://stenobird.com/podcast/machine-learning-street-talk"},"episode":{"title":"The Thermodynamic AI Computing Chip - Thomas Ahle","slug":"the-first-thermodynamic-ai-computing-chip-thomas-ahle","published_at":"2026-06-28T23:42:53+00:00","page_url":"https://stenobird.com/podcast/machine-learning-street-talk/the-first-thermodynamic-ai-computing-chip-thomas-ahle","show_page_url":"https://stenobird.com/podcast/machine-learning-street-talk","url":"https://podcasters.spotify.com/pod/show/machinelearningstreettalk/episodes/The-Thermodynamic-AI-Computing-Chip---Thomas-Ahle-e3ld781","audio_url":"https://anchor.fm/s/1e4a0eac/podcast/play/122116801/https%3A%2F%2Fd3ctxlq1ktw2nl.cloudfront.net%2Fstaging%2F2026-5-28%2F426995845-44100-2-b5344ecaafc67.mp3","summary":"Thomas Ahle explores the frontier of hardware design where AI agents automate Verilog generation and thermodynamic computing utilizes physical noise for computation. The discussion centers on the tension between high-performance AI-generated code and the critical need for formal verification to prevent catastrophic hardware bugs.","meta_description":"Explore the future of chip design with Thomas Ahle, covering thermodynamic computing, AI-driven Verilog simulation, and the risks of automated hardware de…","key_points":["Main idea: Thermodynamic computing uses physical noise to solve stochastic differential equations directly in hardware","Failure mode: Relying on high test pass rates (e.g., 70%) without formal verification can lead to unrecoverable silicon bugs","Practical takeaway: Using AI agents to build Verilog simulators can bypass the massive costs of commercial EDA tools","Main idea: Auto-formalization in tools like Lean can bridge the gap between high-level intent and verifiable hardware specifications","Failure mode: The 'understanding debt' incurred when engineers use AI to generate code they cannot manually audit or explain"],"chapters":[{"start_ms":60000,"title":"The Verilog Simulation Challenge","summary":"The difficulty of verifying hardware code and the high cost of traditional simulation environments."},{"start_ms":360000,"title":"The High Cost of EDA Tools","summary":"Discussing the prohibitive expense of commercial verifiers and the need for open-source alternatives."},{"start_ms":600000,"title":"The Risks of Automated Design","summary":"Analyzing the consequences of missing critical logic during the compiler and abstraction layers."},{"start_ms":900000,"title":"AI Agents and Problem Solving","summary":"How LLMs use abstract toolboxes and hill-climbing to solve complex engineering tasks."},{"start_ms":1440000,"title":"Auto-formalization and Lean","summary":"Using formal methods to verify AI-generated proofs and hardware specifications."},{"start_ms":2040000,"title":"Thermodynamic Computing","summary":"Leveraging physical noise and random walks in hardware to perform complex matrix inversions."},{"start_ms":2880000,"title":"The Future of Engineering Intelligence","summary":"Reflecting on the Chomsky hierarchy, creativity within constraints, and the impact of AI on human understanding."}],"topics":["Thermodynamic Computing","Hardware Verification","Verilog","AI Agents","Formal Methods","Machine Learning","Chip Design","Stochastic Differential Equations"],"duration_seconds":3779,"processing_state":"processed","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/machine-learning-street-talk/episodes/the-first-thermodynamic-ai-computing-chip-thomas-ahle/transcription-requests","description":"Idempotently request low-priority transcript generation for this episode."},{"name":"read_markdown","method":"GET","url":"https://stenobird.com/podcast/machine-learning-street-talk/the-first-thermodynamic-ai-computing-chip-thomas-ahle.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]}}