d3rk
967 posts
d3rk retweetledi
don’t forget to gamble today a little bit
unusual_whales@unusual_whales
"More than 1,000 people become millionaires in the U.S. each day," per YF
English
d3rk retweetledi
🚨 NEW YOUTUBE VIDEO IS OUT! 🚨
Rugs Got Talent | Who has the most talent? 🤔
Like, RT & Subscribe (Video below) 👇
English
English
d3rk retweetledi
d3rk retweetledi
👑 LEADERBOARD RESET + GIVEAWAY 👑
LIKE, REPOST, AND FOLLOW FOR A CHANCE TO WIN $25 $ETH OR $USDC 🤑
CHECK OUT THE $5000+ OF WEEKLY LEADERBOARDS AT REWARDIFY.GG
GIF
English
d3rk retweetledi
qedsvm is now open sourced, you can prove what the machine runs directly
full SVM ISA is implemented/specified in lean, this means you can take an .so and prove that it implements your spec
p-token's transfer path is proven spec to binary
shek@shek_dev
100 likes and I open source this lean implementation of SVM, so that you can prove your compiled binary implements the specs eliminate custom compiler forks from your trusted compute base
English
Today I have 0 motion.
In one month from now, I’ll have 1 motion.
zill@zill1337
@CSGOWinIntern 0 motion
English