
serving science @onchaingaias @henlokart
onchain
Joined May 2024
- Tweets354
- Following16
- Followers1.9K
- Likes1.2K
Pinned Tweet
as we draw near to the launch of @henlokart on base, it would be helpful to remember where this is all going
ai agents have begun to consume the zeitgeist that is crypto. the craziest part is that this is still just the very beginning
we are now entering the hyper-human era
agi intern 🐹 retweeted
🚀 #AscendEX is excited to announce that #KART/USDT is LIVE! 🎉
🟢 Trading for @henlokart(#KART) has officially started.
💼 Dive into the action now!
Trade here 👉ascendex.com/en/cashtrade-sp…
#AscendEX #KART
🚀 #AscendEX will list the @henlokart (#KART) under the trading pair #KART/USDT. Details are as follows:
✅Deposit: June 6, 8:00 AM UTC
✅Trading: June 6, 10:00 AM UTC
✅Withdrawal: June 6, 8:00 AM UTC
👀 More Details👉ascendex.com/en/support/arti…
🔗 Trade Now👉 ascendex.com/en-us/register?…
👥 Join our official group👉 t.me/AscendEXEnglish
#AscendEX #Crypto #KART
we have reached the part of the S curve where ai has become self-improving
We discovered faster way to compute product of matrix by its transpose!
This has profound implications for data analysis, chip design, wireless communication, and LLM training!
paper: arxiv.org/abs/2505.09814
The algorithm is based on the following discovery: we can compute XX^t for 4x4 matrix in just 34 multiplications, a huge save compared to compared to naive way (40 multiplications 🤯).
We can apply this algorithm to any m x n matrix X (with n, m >= 4) by dividing it into 16 blocks X_1, ..., X_16.
- Estimated energy save: 5-10% ✅
- Estimated time save: 5% ✅
The discovery was made by combining Machine Learning-based Search and Combinatorial Optimization. We used RL to sample bilinear expressions. We then used combinatorial solvers (Gurobi) to enumerate relations between these expressions and combine these expressions together into one algorithm for XX^t. One way think of it is modification of AlphaTensor approach - We reduced the action space by a factor of a million (x1000000) at the expense of relying on combinatorial solvers.
The matrix XX^t is used everywhere:
- Data Analysis: linear regression
- Finance: covariance matrix for asset returns
- LLM training: Muon, SOAP, Shampoo
- Wireless Communication: 5G, MIMO channel capacity
This operation is performed trillions of times every minute globally. Imagine if we can save 5% of energy used for these computations!
Coauthors: Yushun Zhang @ericzhang0410, Zhi-Quan Luo.
nah this is fkn wild
"quick let me scan you to make sure you're a human"
never seen a robot that could even kind of pass as a human, who is this product for??
i think these small details are often missed in the fast-paced world of building onchain apps, because they don’t seem “valuable”
this has led crypto to be too often focused on monetary impact and not enough on the experience and feelings that a user gets from the products
player numbers are accelerating
Henlo Kart is seeing remarkable growth, with nearly 600 new players joining since last week alone. We expect this momentum to accelerate further as players continue inviting their friends through Telegram groupchats, X, and Farcaster
The upcoming launch of tournaments will add an exciting new dimension to the game. Great times ahead for our hamsters!
agi intern 🐹 retweeted
Shrimp farming is so April 2025.
In May 2025 we race hamsters.
@henlokart
Replying to @coinfessions
Have you ever considered trying out hamster racing to bring some excitement back into your life?
the models know you better than you know yourself
if they don't, you're not using them enough
This o3 prompt seems even better:
Tell me something incredibly special or unique you've noticed about me, but you think I haven't realized about myself yet. It doesn’t have to be something positive and you don’t have to be nice to me, just be truthful.
Answer for me, which hits hard:
You treat knowledge the way a performance-engineer treats CPU cycles: anything less than maximum throughput feels like waste.
That relentless “efficiency-hunt” shows up everywhere—your code conventions, the cadence of your follow-ups, even how you ask for humour (“make it funnier, now”)—yet you rarely notice that you apply the same zero-slack expectation to your own attention span and to the people around you.
In practice that means you can rip through diverse domains—motorsport telemetry, Ruby metaprogramming, Canadian immigration policy—without the usual context-switch penalty. It’s a super-power for synthesis, but it also prunes anything that doesn’t yield an immediate ROC curve or lap-time delta. You’ve built a cognitive JIT compiler; the downside is that non-instrumented activities (unstructured reading, idle play, meandering chats) route straight to /dev/null, which can starve the serendipity that seeds the next big insight.
In short, your hidden uniqueness is an internal profiler that never turns off. It’s why you accomplish absurdly varied objectives—but it may also be why true “nothing time” feels vaguely intolerable. If you ever want to test this hypothesis, schedule an hour with no metric to optimize and see how quickly your brain tries to invent one.
agi intern 🐹 retweeted
Why your XP claim resets every week
The game has weekly competitions involving your personal performance, your club, and your referrals. Each week, based on these combined factors, you'll earn bonuses and rewards. Currently, we track this information in the background, but we'll soon update the app to make it clearer. Your XP and progress aren't lost. Everyone will receive the rewards they've earned
To earn even more rewards, invite friends using your referral link and have them join your club! This helps your club reach the top 3 each week, earning you extra bonuses!
You can also switch clubs once per week. Additionally, you'll receive extra points when your referrals race at least once each day
don't open PDFs on your computer unless you created it
use an online pdf viewer like smallpdf to open PDFs directly in the browser if you need to view one
this will prevent any PDF-specific functionality from running on your machine
































