> be me
> very smart, others hate how smart i am
> look around. everyones an idiot
> i_am_special.mp4
> imagine being (anything other than the way i am)
> hmph. that'll show em
> continue sitting in the corner and nodding to myself
good/refreshing stuff, full of honesty and valuable insight from @ludwigABAP. rare that i see a podcast and immediately give it a listen, because they are almost always largely performative or void of substance
well led @himanshustwts, has that genuine feel i miss so v much π€β€οΈ
A Quest to Formalize Intelligence ft. @ludwigABAP
0:00:00 - INTRO
0:01:06 - What is he 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 - 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 20k days left