A Quest to Formalize Intelligence | Ludwig (Principal Engineer & Independent Researcher)
This is Episode 15 on Ground Zero! Ludwig is 31yo programmer with no formal education. He dropped out in 7th grade - started programming around age 10 - began working at 15 - and later worked on distributed systems for a company with hundreds of millions of users. You might know Ludwig for systems programming, ML, intelligence, mathematics, software-engineering culture and his X presence. Listen on Spotify: https://open.spotify.com/episode/0ApItqzYZfB4mpIeTt204B?si=gFLrMsCgTV6lGTpZ9gvMkQ Listen on Apple Podcasts: https://podcasts.apple.com/in/podcast/groundzero-ai-talks/id1896715519?i=1000769795467 ----------- Ludwig [Guest]: https://x.com/ludwigABAP Himanshu [Host at GroundZero]: https://x.com/himanshustwts GroundZero: https://groundzeroai.in ------------ SPONSOR: Haize Labs (https://haizelabs.com) is building expert-level agents for mission-critical work, powered by proprietary Reliability Harness. They are doing some ambitious and interesting work. Checkout Leonard Tang (Cofounder and CEO) articles to learn more: https://x.com/leonardtang_/articles To sponsor future episodes, visit https://www.groundzeroai.in/partner ------------ TIMESTAMPS: 0:00:00 - INTRO 0:01:06 - What are you most excited about these days? 0:03:31 - All arcs are isomorphic, Dropping out in 7th grade 0:09:31 - Does skipping formal education make you naturally broader? 0:10:11 - Growing up on 4chan, Mathematics is humbling 0:14:52 - Mentors, First programming job, Internet microcultures 0:21:47 - Culture in SF, Why he won't start a company 0:25:21 - Does AI make self-teaching easier or trap you in infinite explanations? 0:29:49 - The 20% doing 80% inside a company 0:33:24 - Company culture and Building subcultures 0:35:56 - How do you define understanding, compression equals prediction 0:45:44 - Understanding vs knowing, Michael Levin, Cognitive light cones 0:54:39 - Starting a research lab, Sheaf theory and Grothendieck 0:58:43 - Mapping Levin's biology onto proof space with MCTS and Lean4 1:02:49 - Active inference, Distributed systems and Morphogenesis 1:12:28 - Signal vs noise on X, The unit distance proof, Flanderization 1:17:39 - Community Questions 1:21:39 - Shape rotator vs wordcel, Tenstorrent, How to hire great engineers 1:28:01 - Building mental space to do things that will be left to do 1:33:42 - Advice to a 20-year-old. Be a capable thinker, you have 20,000 days left