Register and share your invite link to earn from video plays and referrals.

Machi Big Brother
@machibigbrother
800 Following    226.5K Followers
Brother you sold what could have been 500 million dollars worth of apes for a few million and proceeded to shill any dogshit copy pasta you could find And you founded numerous NFT co’s of your own, all of which have since been removed from your bio Be the change you want to see in the world or enjoy the house BAYC bought you
Show more
0
392
3.2K
236
Forward to community
Eth L1 has 57% of all tokenized BTC and 95% of all tokenized gold. Imagine thinking this won't also reflect in stocks as the landscape matures
Alright pumpdotfun can’t fix the issue. Will be relaunching the robotics coin.
Stablecoins don't run on Bitcoin. They run on Ethereum.
Lean consensus will be amazing.
One step closer to 4-8x faster Ethereum finality! It took some time and lots of tokens, but we now have a formally verified proposal for a decoupled consensus protocol in I* (a future Ethereum upgrade)! Not yet a full spec (up next), but it includes all the key consensus-relevant details to become one. Since Ethereum aspires to be live without most of the stake online, the protocol involves many more components than a normal BFT protocol, and its correctness involves much more than standard safety and liveness. Those nuanced properties are now verified! What's more, I came away convinced that all protocol design will involve AI-assisted Formal Verification in the future, both for correctness and iteration speed. The work wasn't limited to just: Design the protocol -> Formally verify it Instead, the loop became more like: Design -> Formal Model -> Find exactly what breaks and why -> Redesign it. For a fairly complicated protocol like this one, I think having the Lean model be part of the design loop played a big role in accelerating the process. A future with agents paired with formal models is a superpower for Ethereum development, because they can then use those models to find exactly where an argument breaks down, formalize counterexamples, test proposed fixes, iterate on the protocol. Many details that would slip under the radar when asking agents (and indeed, humans) can now be specified exactly and checked by the Lean kernel. This then forces agents to be more precise and lets them make verifiable progress on their own. It's been incredible to see this play out, seeing agents find gaps and propose protocol changes to fix them. In other words, autoresearch can speed up protocol design, formal verification is here to stay, and Ethereum Finality will get faster.
Show more
0
234
1.8K
149
Forward to community
The cryptographic world computer: My attempt to express in somewhat concise terms the true meaning of basically everything planned to happen to Ethereum starting from the fork after Hegota. It's really not just a blockchain anymore. It's a hybrid architecture that combines together blockchains and modern cryptography, to enable much more powerful properties. FOCIL, EIP-8288, Lean consensus, state management, formal verification, advanced mempool improvements (including privacy), and the longer-term specter of obfuscation all mentioned.
Show more
0
590
5.7K
1K
Forward to community
vitalik saying this publicly is a pretty big tell imo prediction markets don’t need another venue fighting over the same sports/politics flow they need people fucking around with the actual mechanics again been saying this category needs its defi summer moment this feels much closer to it
Show more
ETFS are buying all the ETH. Hold on to your ETH for dear life.
I've been wanting to build this project for a year, and I finally did it. Its called Caracal7, an experimental SNARK prover designed for GPUs, by using the prime field 127. And it is top 5 on all of the @eth_proofs client side benchmarks 1/9
Show more
Holding my base:0x21cfcfc3d8f98fc728f48341d10ad8283f6eb7ab tight. The job is not finished. See you at $1B+ on Ethereum. ETH OGs are backing Trueo. The target is not a $100M or $500M market cap. Mainnet is where a credibly neutral oracle and permissionless prediction markets belong. People are still thinking too small about what this category is worth.
Show more
There are currently hundreds of unique markets on @Trueo_ spanning a wide array of categories. Everything from local real-estate sales to the retail price of DDR-RAM to CT gossip to geo-politics is covered by Trueo. The breadth of coverage we offer is rivalled only by Kalshi and Polymarket. But while they rely on large full-time editorial teams, we source our markets through the curiosity of the crowd. As for liquidity, that’ll be our highest priority when we launch on Ethereum. I honestly think liquidity is the only thing standing between us and competing head on with the two behemoths. Fortunately for us, prediction market liquidity has become commoditized and the modelling tools for real-world events are improving at breakneck speed with AI. Those liquidity moats won’t last for long.
Show more
Short post on @Trueo_’s mechanics: Anyone can permissionlessly create a market through the App. Topics can include virtually anything that’s publicly verifiable! (within ethical boundaries ofc). A market’s life cycle starts from a proposal. Once submitted, it enters a 3 day funding phase where it needs to hit a liquidity threshold in order to graduate. Markets that graduate become tradable like any traditional prediction market. The ones that fail to graduate expire without becoming tradable, and funders can withdraw their deposits. Funding a market fulfills several functions in a single step: - clearing the initial odds - seeding minimum liquidity - quality filtering Every market is an event contract that resolves based its resolution rules. Those rules are immutable. They are committed onchain as plain text strings inside the proposal transaction. Once a contract is live, it cannot be altered, clarified, or changed. This gives traders peace of mind that the goal posts will not be moved mid-trading, regardless of who the original creator was. All markets are resolved through the protocol’s enshrined oracle. The oracle serves as the neutral arbiter in case of a dispute. The details of this process require its own post, but the summary is that the oracle combines elements of AI automation, economic security (TRUE holders), and a human jury pool. The idea is that most prediction markets restrict market creation to an editorial team, or gate keep it behind significant capital requirements. One of the main reasons for this gatekeeping is because those prediction markets don’t have an oracle flexible enough to resolve markets on just any topic created by just anyone. This is where Trueo shines! Its oracle is designed to surface evidence from any and all legitimate data sources. It does this through an open and fair resolution process that doesn’t suffer from the rigidity of common oracle systems! If you haven’t tried the App yet, now’s a good time. Go ahead and create a market, it only takes a minute and it costs almost nothing! Oh, and you can earn creator fees if the market graduates. If you have any questions, feel free to drop them in the comments 🫶
Show more
I’m guessing my offer is being blocked by Paradigm. I rescind my offer. Racer relaunch Friendtech on Robinhood chain, I will support.
time to start re-accumulating ETH into the coming consolidation and stake it
I just want the Friendtech X account and website URL for the community. Racer and team can keep their tokens. @paradigm can keep their equity tokens. We can just do things. base:0x0bd4887f7d41b35cd75dff9ffee2856106f86670
Show more
Bitcoin is the OG creator coin. Satoshi made Bitcoin MachiBigBrother made $Machi