A Quest to Formalize Intelligence | Ludwig

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.Ludwig [Guest]: https://x.com/ludwigABAPHimanshu [Host at GroundZero]: https://x.com/himanshustwtsGroundZero: https://groundzeroai.inSPONSOR: 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_/articlesTo sponsor future episodes, visit https://www.groundzeroai.in/partnerTIMESTAMPS:0:00:00 - INTRO0:01:06 - What are you most excited about these days?0:03:31 - All arcs are isomorphic, Dropping out in 7th grade0:09:31 - Does skipping formal education make you naturally broader?0:10:11 - Growing up on 4chan, Mathematics is humbling0:14:52 - Mentors, First programming job, Internet microcultures0:21:47 - Culture in SF, Why he won't start a company0:25:21 - Does AI make self-teaching easier or trap you in infinite explanations?0:29:49 - The 20% doing 80% inside a company0:33:24 - Company culture and Building subcultures0:35:56 - How do you define understanding, compression equals prediction0:45:44 - Understanding vs knowing, Michael Levin, Cognitive light cones0:54:39 - Starting a research lab, Sheaf theory and Grothendieck0:58:43 - Mapping Levin's biology onto proof space with MCTS and Lean41:02:49 - Active inference, Distributed systems and Morphogenesis1:12:28 - Signal vs noise on X, The unit distance proof, Flanderization1:17:39 - Community Questions1:21:39 - Shape rotator vs wordcel, Tenstorrent, How to hire great engineers1:28:01 - Building mental space to do things that will be left to do1:33:42 - Advice to a 20-year-old. Be a capable thinker, you have 20,000 days left