DRBEEFSUPREME

i got a bunch of new followers yesterday. here's a few tidbits about me: - finished math phd in 2019 on knot theory/quantum topology/quantum computing at georgia tech - cofounded an artist co-op last year that acts as a 3rd space for local creatives - main hobbies are art, lifting, running, yoga, hiking, math - once competed as a strongman in 2019 - cohost, producer, and writer of live late night talk show for the last 7 years toolate.tv we've never really had an online presence until very recently, just do it for the love of the game - worked on urbit for 4 years and nockchain for 3 years. - this year i cofounded with @HumanizerSequel a new project called branchpoint.xyz bringing multiverse finance to hyperliquid and beyond. more info will be forthcoming in the near future. - finance is a recent interest for me. it has rekindled my love of math that grad school did a great job of smothering. later today i'll write about my journey to recover my health last year, where in 6 months i went from being unable to sit or stand for two days to getting ripped, cutting down to 10% body fat, and running my first half marathon. on the left is me, on the right is @HumanizerSequel

@nurijanian ive been on superpowers for a few months and this seems like exactly what was missing from the work lifecycle, cant wait to try it out!

my favorite engineering skills for AI: - Compound Engineering: github.com/EveryInc/compo… - Ryan Singer's shaping skills: github.com/rjs/shaping-sk… - Matt Pocock's skills: github.com/mattpocock/ski… I switched from Superpowers to Compound Engineering as they perfected the plugin over time, and I'm pretty sure I still only use like 10% of it

@schizohustler this is The Plan

i dont think you understand how serious the great lock in from june to october will be. you can feel it in your bones. there's a restlessness in your soul that knows the vibe is shifting. 2021 all over again.

@DiracGhost manin is goated

I would recommend anything written by the great Yuri Manin, therefore, today, I will suggest you to read this fantastic paper (29 pages) titled 'The Notion of Dimension in Geometry and Algebra'. In this one, Manin marries mathematics, physics, philosophy, history and much more, a refreshing read, for those used to dry formalism. Yuri's view on mathematics deeply influenced mine, so give it go, I bet you'll like too.

Imagine if Erdos were still alive with a GPT-5.5 Pro subscription and amped up on amphetamines.

@NoahChrein Brain genious

Hanging up the pictures of some of my favorite dead mathematicians is working really well, I feel super judged for even opening X. Also they think my wreath def is a bit too adhoc and needs a more natural presentation.

im not in las vegas tonight but would love to see hafthor pull another DL world record

We're going to win

@enhanced_games got a photo with underdown after her world record elephant bar deadlift back in march

whos watching @enhanced_games tonight? im mostly interested in the weightlifting but hardly anybody being natty is an open secret there so im not expecting unusual performance (though i am ofc rooting for hafthor to break the DL record). but i am very much looking forward to the interviews with athletes talking openly about juicing and learning about all the quantification, safety, and testing and protocols. @bryan_johnson is gonna be a great commentator

@thenarrator topics? i have a lot of opinions on math+physics textbooks but not much else

@drbeefsupreme i will start needing some book references from you

this is the book that made me decide to become a mathematician instead of physicist

@bryan_johnson @Miguel_4life_ @ThorBjornsson_ he probably hasnt had natural growth hormone in his body for half his life

I can't help myself. My first question to Thor was to inquire how he was sleeping and his resting heart rate. Based upon our convo, he made a few adjustments to his protocol and boosted his deep sleep (critical for recovery, where natural growth hormone is released) by over 50%. The fire in his eyes right now is something to behold.

This may be the strongest human in history... He's 6'9", 37 yrs old, and around 440 lbs. Last year Thor set the all-time deadlift world record at 510 kg (1,124 lbs). You may know him as The Mountain from Game of Thrones. Tomorrow night, I will be commentating at @enhanced_games (Olympics with enhancement allowed). Athletes use FDA-approved medications. I’ll be reviewing Thor's protocols and measurements. And he is going to attempt to break his own world record. We hit the gym this week. He was lifting me.

nothing makes copy sound more fake than "Real X. Real Y."

@ptrschmdtnlsn damn ive been telling people for years that "most" proofs are so long that writing them down in less than the age of the universe would create a black hole, this is an even better angle

There are several results that morally point in the direction of "you should expect endless rich beauty", but my favorite is this: You might naively worry that at some point we prove everything that's easy to describe, and we have to make up extremely complicated questions. And at that point, is it really that interesting to say that some 50 page contrived problem required some complicated theory to prove? However, we know this won't happen! If you take all questions of n characters, take the shortest proof of each, then look at the growth rate of the length of the longest such shortest proof, you find that the length must grow uncomputably quickly in n. Otherwise theorem proving would be computable by proof search, which would let you decide provability, thus a fortiori decide the halting problem. So, we must have a vast supply of very simple questions whose answers are spectacularly complicated. In practice, this is what we see, and the complexity seems to correspond to real richness! For example, as near as we know, the answer to "when does x^n+y^n=z^n have solutions over Z?" is just massively incompressibly deep, requiring the development of extremely sophisticated tools. Likewise, "what can be said of a group that's finite and simple?" seems to just be a massively deep question. That simple questions can require thousands of pages of deep theory should be unsurprising in light of this "proof lengths must grow uncomputably quickly" result! And "grows uncomputably quickly" is an absolutely staggering growth rate. There is likely some short couple-paragraph question where resolving it would require you to develop one million pages of rich theory, beyond the intellect of any human.

its been more than 10 years since i read it, but physicists can get pretty far only having a cursory understanding of smooth manifolds. i remember telling my nonlinear dynamics professor, very esteemed who built his whole career around navier-stokes, that smooth structure+vector field induces a flow (a basic result in lee's smooth manifolds), and he was unaware of this. or rather, he knew vector fields created a flow, but because manifolds of dim <=3 all have a unique smooth structure, he didnt know that you could get different flows from different smooth structures. knowing the basics of topological manifolds is all most physicists need. (fwiw my phd was basically in mathematical physics+topology) that being said, its an excellent text, considered a classic for good reason.

@drbeefsupreme @paranoidray Cool!! What do u think of Lees book for someone who has very tiny little knowledge on topology? And if its worth it for a physics guy maybe or not

All thanks to God, professor Kredees Al-Shemari has published his new book on Algebraic Algebra which is a new field for which he has setup its formalism from the ground up building the intuition for both Algebraic and Algebra then showing that morphisms between them exists.

@paranoidray @al5awarzme i have all these books on my shelf fuck

@al5awarzme finally

@justinskycak @_MathAcademy_ i did some work with cluster algebras and dilogarithms during my phd. its challenging stuff! very impressive

Shoutout to Zach Nash, my former student and a current @_MathAcademy_ high schooler who just got a math research paper accepted for publication! Funny enough, at the beginning of the 8th grade school year, Zach told me that he would not be doing any more math than was required to pass the class. But by the end of the year, he had absolutely crushed the AP Calculus BC exam, and in the following two years as a Math Academy high school student he learned enough university-level math to be within striking distance of mathematical research. During the summer after 10th grade he worked hard with his teacher Dylan Rupel, a PhD research mathematician, to obtain a research result which has recently been accepted for publication. He will graduate high school this spring and plans to study math at Yale starting in the fall.

@jords @grok what is jords talking about?

robinhood should never be forgiven for force-selling ppls $SOL at like $16, that was crime. fuck those guys. hyperliquid

@wisdom_drunk @nockchain x.com/drbeefsupreme/…

@drbeefsupreme @nockchain interested in this story a lot. Would love to read about it.

for @nockchain 's 1 year anniversary, here's my personal story about the genesis block. i wrote nockchain's consensus logic, among many other components of nockchain up and down the stack. the order came from up high, i had the ultimate mission: TO PROGRAM THE GENESIS BLOCK. this sounded like an awesome challenge. the idea that you spawned your blockchain off of the bitcoin blockchain at a future height seemed pretty sick to me, like zeus birthing athena. whether the genesis block should be mineable or produced by fiat, how to encode the message we left "QUIDQUID CORRUMPI POTEST, CORRUMPETUR", "Whatever can be corrupted, will be corrupted", how to ensure we dont end up with a bunch of genesis blocks, how to estimate the starting difficulty. i remember difficulty ended up being a surprisingly complicated thing. i feel like we all thought we understood it and then somehow it wasnt as simple as just counting zeroes. you want to get a hash below a certain value, and since we were working over a finite field, determining the right way to produce the hash turned out to be pretty involved, and i think i spent at least a couple months on figuring out the hash function for nouns. while all this was going on, i injured my neck lifting something heavy. i figured it would heal on its own, but instead it got worse over time. two weeks before launch, may 2025, at the most crucial time, i decided i had to step out. i slept wrong and was unable to sit or stand for two days, and realized that being a team player meant sitting this one out. i came back for launch day though. i was on medical leave so not officially expected to do anything, and i didnt really intend to unless truly needed. so basically i had the best seat in the house and didnt really have to stress about anything because i knew we had an elite team and they could handle anything without me. if i recall correctly we got on the call at 9 am like we did every day and then never logged off. we were enormously more successful than we were prepared for. the network was absolutely insanely congested. i wrote the initial nockchain networking stack which has since been upgraded, and like most things, i had no idea what i was doing. use libp2p and zap jammed nouns back and forth. i had never done webserver stuff, my programming life was born with hoon and urbit, which being a personal server platform, did a really good job at insulating the programmer from server stuff. the networking driver ended up being the first really substantial nockapp driver, and i remember rewriting it into driver form in a 2 day marathon frenzy. we never did any large scale testing of the nockchain networking capabilities. certainly not with thousands of nodes, which i think is the neighborhood we ended up with on launch day. fair launch powork is very exciting. so our backbone nodes got completely wrecked. they werent mining at all, they were on nodes optimized for handling as much traffic as they could, but the unoptimized code could not hold up. we were mining the genesis block on a separate node. we figured once the block was mined, it would simply proceed onto the network in an orderly fashion. this turned out to be completely false. after many hours, we finally produced a genesis block, and now we had to get it onto the network somehow. this is when me and the other code slingers sprung into action. this was may 2025, so ai was still at fancy autocomplete levels, and i hardly used it at all for hoon. we had to figure out a special way to get the block onto the backbone nodes. i think ultimately we gave the backbone nodes privileged network access to each other and the node that had the genesis block. it was like we had to dig a secret tunnel to smuggle the block onto the network. we deployed the fix to the backbone nodes one-by-one and then the node holding the secret treasure, the genesis block. it was still going on when i logged off at 2 am. i believe others were up until at least 4. we got to wake up in the morning to a live network.