_doola

avid enjoyer of things

[_doola @doolasux]

> 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

[_doola @doolasux]

how do i pivot to perf engineering 🌝 backend web/systems has a bit of it but _still_ lends itself to the slop mines

[_doola @doolasux]

ill only find out what and where im going when ive perfectly cozy'd into my day

[_doola @doolasux]

@wavefnx show us

[_doola @doolasux]

it totally sucks that the only answer to being in really great shape is to have great genetics or be a complete loser all the time

[_doola @doolasux]

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 🤝❤️

[himanshu @himanshustwts]

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

[_doola @doolasux]

i am not an ai denier (which is hopefully obvious) but this is some real deal super villain shit

[Vivek Sen @Vivek4real_]

SAM ALTMAN: “WE SEE A FUTURE WHERE INTELLIGENCE IS A UTILITY, LIKE ELECTRICITY OR WATER, AND PEOPLE BUY IT FROM US ON A METER.”

[_doola @doolasux]

@ludwigABAP g is the goat, makes some very complicated concepts (to me) very approachable, also just a funny and seemingly normal guy

[_doola @doolasux]

@jsneedles @levelsio @pmarca wow a sensible take, incredible

[_doola @doolasux]

@snwy_me

[_doola @doolasux]

@ludwigABAP @HSVSphere or you can be happy

[_doola @doolasux]

the syncing of 11k production apps begins with a simple api call

[_doola @doolasux]

drinking wgpu raw no bevy

[_doola @doolasux]

or rather, rxc4!, gxf5, exf5!!

[_doola @doolasux]

found a sweet sequence here 😵‍💫😵‍💫

[_doola @doolasux]

rxc4!!

[_doola @doolasux]

@__tinygrad__ @jsuarez to the coal mines it goes!

[_doola @doolasux]

@PentelEnergel @wasure_ro

[_doola @doolasux]

@PentelEnergel @wasure_ro i did this but on a lake, it worked

[_doola @doolasux]

@stylishdawg even 2000s are pretty mid and blunder all the time, just less than me

[_doola @doolasux]

@dumbgayretard @theodorvaryag +1