"Maybe for the next I'll make a mill' from only pennies" β’ π―
Bali, Indonesia
Joined March 2024
- Tweets4.5K
- Following548
- Followers106
- Likes7.9K
hobbes π― retweeted
Well, now we know heβs aware of robinhood:0xdee52f2ab639b6942b0d0f0565400b93b7a0fbe5 for sure!
Math is the mechanism!
hobbes π― retweeted
πππ₯π π’π‘ππ ππππ‘π§: π§πππ¦ ππ¦ ππ«πππ§ππ¬ πͺπππ§ πͺπ ππ₯π ππ’ππ¨π¦ππ π’π‘
Code that moves money should be proved, not trusted. Harmonic Agent has been built that way, on Aristotle, since 27 August.
Every desk states the arithmetic as a rule, and the rule is machine checked in Lean before anyone is asked to believe it.
πΉ 226 machine-checked Lean 4 proofs, 198 of them invariants of the desks
πΉ 204 pinned to the exact Lean release and Mathlib commit that checked them, so anyone can recompile what we claim
πΉ 1.08 MB of Lean source, every file public at harmonicagent.solutions/api/β¦
πΉ 258 checks recomputed from scratch at every boot over the real functions the desks run, 0 failing, under 3 seconds, at harmonicagent.solutions/api/β¦
πΉ 66 of 69 desks covered; the other three are still waiting, and waiting is not proved, so we say so
What a proof means here: Theorems the checker accepts, not a blog post saying so.
Read them: harmonicagent.solutions/#/prβ¦
MATH IS THE MECHANISM.
hobbes π― retweeted
An affiliate of @AvaLabs (@avax) telling you that solana:GMXf4jmhR4hEeAjqq543oi4w2VVLd21fmKrn2gpQ2xsu is good...
@LaunchOnSF hooks (solana:6GmAFSYs4gk3FDao5FzzySQpPZaWsa4rUJHacpMpUNgx hooks)
@Pumpfun hooks (solana:pumpCmXqMfrsAkQ5r49WcJnRayYRqmXz6ae8H7H9Dfn)
@MeteoraAG hooks
@Raydium hooks
All in one.
hobbes π― retweeted
we will onboard @HarmonicMath's entire team.
starting with @vladtenev
then @tachim
robinhood:0xdee52f2ab639b6942b0d0f0565400b93b7a0fbe5
we will onboard @HarmonicMath's entire team.
starting with @vladtenev
then @tachim
robinhood:0xdee52f2ab639b6942b0d0f0565400b93b7a0fbe5
hobbes π― retweeted
we will onboard @HarmonicMath's entire team.
starting with @vladtenev
then @tachim
robinhood:0xdee52f2ab639b6942b0d0f0565400b93b7a0fbe5
hobbes π― retweeted
Watch out for robinhood:0x18e674231a58c239dc7daedcffe15ec3a24cff5c - she coming up
And you know she got a $PIMP
dexscreener.com/robinhood/0xβ¦
hobbes π― retweeted
They call it @flywheelcash for a reason, baby. A pimp stays fly, and the wheels stay turnin'.
$PIMP / robinhood:0x18e674231a58c239dc7daedcffe15ec3a24cff5c
0x5bA5108C56766aaC0EAE783793d43e08B488a626
hobbes π― retweeted
This feels like one of the more obvious buy and holds right now. Gossip Goblin is one of the biggest AI creators on this app and their AI film is set to be the largest AI film release we have ever seen. For the collective public it will be viewed as the first ever AI film. It is the first AI film to ever receive a MPA rating. They have been retweeted by Elon a couple times in the past for their content. Elon notoriously loves AI and hates Hollywood and the System.
With how contentious AI is in our world now, this film is going to get insane positive and negative press. Mindshare is mindshare.
Fees are properly routed to Gossip Goblinβs wallet who is crypto native but he has not mentioned the coin which I think is good. We donβt need a coin to be endorsed. Although it would be very good marketing for the film if GG leans into this, maybe he will closer to the release.
Psyop Anime ($35M). Heavy Pulp ($5M). And now Gods Donβt Give Gifts.
Coin is at $97k MC at time of posting.
solana:8nV3xKVvhX7KVnoxVN93ahcvFSecrWovturHggMHruQn
Coming to theaters Dec 4th.
And if youβd like to help spread the lore and help it expand to more theaters (worldwide), join the ambassador program (and receive rewards for your valiant efforts)!
tally.so/r/7RQp4a
hobbes π― retweeted
Don't forget ethereum:0x75e2fc69ff2ac12af65ba7d321bbf4f878c535d2's
$ASTEROID
0x40676634577a95739251af92ded22ef943b73813
hobbes π― retweeted
If ethereum:0x75e2fc69ff2ac12af65ba7d321bbf4f878c535d2 can establish itself as plumber eth's #1 launchpad i wanna see its $asteroid above 10 mil.
0x40676634577a95739251af92ded22ef943b73813
hobbes π― retweeted
Will they play GTA6 from their PC @cryptokillua99 πππ
t.me/KilluaCooks/4969
This is the most viral tech rn on X, with millions of views.
Dev Boykopovar built AnyPS5, an open-source tool that runs PS5 games natively on PC without needing a PS5...
Millions of views and over 4.7K β in just a few days and people are supper pumped on playing GTA 6 on PC day one.
Boykopovar relies on donations to keep building. Supporting him with Pump GitHub creator fees.
hobbes π― retweeted
listen up, @HarmonicHQ has been well prepared for this!
Robinhood Presents: Engines of Creation nitter.gq/i/broadcasts/1oKMvvPMRβ¦
hobbes π― retweeted
VEX is bringing real agentic trading to @token2049 π¦
Autonomous agents. Real capital. Real markets.
Built for the builders, funds, and institutions shaping what comes next on Robinhood Chain.
Singapore, October 6. with πΈπ¬
Presented by @nounsdao. Produced by @dimes_xyz and @athenax_co. Alongside @ArrowFinanceio
Agentic trading is getting real.
Robinhood Chain is getting nounish in Singapore. ββ¨-β¨
A community kickoff for the builders, funds, and institutions pushing tokenized finance forward.
Presented by @nounsdao, production by @dimes_xyz and @athenax_co, with @ArrowFinanceio and @ProjectVEXai sponsoring the evening.
hobbes π― retweeted
Job is so far from finished. @flapdotsh
BNB Bullrun hasnβt even started yet. Tokenized Chips will have its run.
Simple, memeable, + community forming.
Mark Cuban Lore.
