Gordenius Tardus

Another Erdős Problem solved by GPT-5.2 Myself and @AcerFur gave GPT-5.2 our #728 proof to modify for the very similar problem #729. After some iterations between 5.2 Thinking, 5.2 Pro and @HarmonicMath 's Aristotle, we have a correct Lean proof. Literature review is ongoing.

Also crazy to see such raises to advance theoretical mathematical research which was unheard of until recent. Congrats @vladtenev Pure maths as a domain has been stagnated for the past decades imo, this might change things a bit x.com/HarmonicMath/s…

Things are set in motion in the formal verification/theorem proving area, pretty neat to see Terry Tao and Co. in live action in the Erdos Trenches using novel tools, won't be too far out till the majority is solved ig erdosproblems.com/forum/ Are you vibe proving anon

Starting a new article series, "Open Source Trading" I've always planned to open source trading tools I've built when I "retire" from active trading, but given that I don't plan on retiring soon and the market is pretty quiet, I figured I'd start now: bheau.substack.com/p/open-source-…

Trying to imagine the TRUMP PA when he got shot Monday musings

@mikaxbt ah well, now that makes more sense ty mika

@0xJezza Curious, did you check what they're doing on the spot pair?

@0x8483 my man

i had one of the top HL vaults in May and received an additional 32k points for that month. was a bit of a risk since it was in the interim between szn 1 and 2 but ended up paying off tremendously. received around 240k $HYPE

@bh359 Nice one bheau

Took a risk buying some cheap ($1.3 per point) Hyperliquid points OTC a few months back to add some more exposure in addition to points from trading. Price was appealing, but we were buying "resale" (not buying from original wallets owner - multiple people had seen these private keys) So we wrote a bot to instantly transfer them out - happy to see these coins safely acquired

Never thought I'd see the day where I'd get a larger airdrop than dydx Grateful

What if we kissed under the Hyperliquid deposit bridge?

@dcfgod @freysa_ai Where did you make the link with the token?

@TraderMercury what makes you say that 2023 was a bull market (up until fake Cointelegraph article)

said it before; I'll say it again: we've experienced a 2yr bullmarket. to say we're just getting started would be disingenuous, and naïve but from an opportunity/reward standpoint, these later innings tend to be the most fruitful so in that regard, we are just getting started.

you see how quickly your feed became a proponent for the $ETH catch-up trade, and all it took was 5% of outperformance? markets move in swings, and can flip the script in an instant - the emotions on your timeline reflects that. imagine when this really starts to move…

@art_xbt @intuitio_ Wif didn't come from pf

@intuitio_ I think pumpfun team didn’t think their coins would ever reach such valuations and thought the total supply was high enough. Turns out it wasn’t

@saliencexbt poke

Rate of deposits on @HyperliquidX has been something else these past days

@factorydoge69 he's long $10m notional across two accounts

he shorted?

The SEC has filed a complaint against Cumberland DRW LLC for operating as an unregistered securities dealer h/t @inforacrypto

The 1st October nuke was unironically the best thing one could wish for a potential Uptober