Check out the presentation repo with all the examples and instructions! github.com/runtimeverific…

BREAKING: 🇺🇸 SEC withdraws request for court to classify crypto tokens like Solana and Cardano as securities in its lawsuit against Binance.

Ready to be part of something big? Applications are open 👇🏼 More updates coming soon—and be sure to turn notifications on (🔔) so you don’t miss anything! docs.google.com/forms/d/e/1FAI…

NEW: 🇯🇵 Bank of Japan to hold emergency meeting to discuss International Financial Markets - Reuters 🇺🇸 The Fed is next...

🙁

Suck at marketing? Read this book. You're no longer allowed to complain if you haven't.

This is the symbiotic fuzzing+formal verification workflow we use at Runtime Verification 1. Fuzzing with Foundry to quickly catch low-hanging fruits and provide fast feedback loops. 2. Formal Verification with Kontrol to ensure the strongest possible correctness guarantees.

BREAKING: Warren Buffett just updated his investment portfolio. He has $280 Billion invested in these 41 stocks:

However dreams are dreams.

If you love decentralization & freedom, then abandon BTC & ETH now As they no longer stand for the cypherpunk dream Without L1 capacity, users are pushed into centralized & custodian solutions instead! Without on-chain governance, it is a dictatorship; the antithesis of crypto

Europe will always be at Ukraine’s side, because Ukraine is Europe. Your freedom is our freedom. Your security is our security. We've been standing with you since day one. And we'll continue to do so, for as long as it takes. I'm wishing our friends a proud Independence Day.

Airdrops are a fascinating initial use case for ZK / blockchain-based identity / credential / attestation frameworks. The goals of an airdrop are: (i) distribute to community members [and not randos who will all immediately sell] (ii) reward contributions to the project (iii) be

One related point is that giving tokens away for free is not the only "form factor" that makes sense for this: you can also do discounted sales. I talk about reasons why to do this here: vitalik.eth.limo/general/2021/0… Depending on the degree of membership/contribution you can prove,

thedailyguardian.com/us-and-china-c…

The following playbook helped me launch most of my 24 startups. See A full breakdown of each step 🧵:

1. You can now link two iPhones to send cash in iOS 18

Decentralized decision making.

The Blindsight device from Neuralink will enable even those who have lost both eyes and their optic nerve to see. Provided the visual cortex is intact, it will even enable those who have been blind from birth to see for the first time. To set expectations correctly, the vision