Stefano Leone

Correctness as a default. Not an expensive privilege. Blaster + CBDE = automatic formal verification for every Cardano developer, in five languages, one click away. momentum.cardano.iog.io/proposals/card… cc @IOGroup @phil_uplc @nowitnesslabs @txpipe_tools @hlabs_tech @lantr_io @saibdev #cardano

There's a Cardano Upgrades proposal live right now that changes how transaction fees work. New fee models for builders. Multi-asset Treasury options. A pure native-asset experience for users. Here's why it matters and why you should vote YES

For anyone who prefers video over text, here's my presentation about IO's Developer Experience proposal at the Buidler Fest! 😄 m.youtube.com/watch?v=HIbnHw…

Big day for the IO High Assurance team. For the first time, you can automatically prove the correctness of a Cardano smart contract, from your source language down to the CEK machine, against the actual ledger rules. 🧵

Tomorrow we're hosting an X Space with the leads for IO's Cardano Experience 2026 proposals. Robertino Martinez (@theroberm) - Developer Experience Stefano Leone (@StefanoLeoneAI) - Cardano High Assurance Join the conversation! 4pm BST Friday 24th April - x.com/i/spaces/1dKrP…

For the last few months, we've been working on an automated formal verification tool for Cardano smart contracts. It uses Lean4 as an intermediate language and Z3 to automatically prove specifications. Here’s a sneak peek at how it works: 🧵 (1/11)

@Catalyst_onX We're building the first automated formal verification tool for #Cardano, leveraging state-of-the-art SMT solving! Why vote for us? - Formal verification for all! - Fewer vulnerabilities! cardano.ideascale.com/c/cardano/idea… #FormalMethods #Catalyst #Fund13

Check out the latest article in my newsletter: Sam Altman's Vision for AI: A Super Assistant or a Societal Challenge? linkedin.com/pulse/sam-altm… via @LinkedIn

After an open voting phase, #PolkadotDecoded is returning with a 2-day program packed with talks and workshops from innovators and decision-makers in the #Polkadot ecosystem. Check out the final agenda and save your spot for the conference now 👇 hubs.ly/H0LXTM50

Check out my latest article: #QuickFacts about #Dogecoin linkedin.com/pulse/quickfac… via @LinkedIn

@maxmarta64 Grande Max! Tutto bene ora?

I want to offer a quick thread on the common argument you hear from Trump defenders online, that Trump supporters "already know about Trump" and that his scandals are already "baked in" and thus each new Trump outrage is ultimately irrelevant. 1/

Tomorrow @brave will be 'Giving Brave Ads' for Giving Tuesday! 100% of Brave Ads inventory will be granted to participating charities and non-profits. Brave is a proud presenting sponsor of @TheGivingBlock's campaign to support nearly 100 causes. brave.com/givingtuesday/

Our CEO @BrendanEich was recently at @WebSummit and gave a keynote about a new Internet economy based on privacy and respect, where the user comes first. Here's the video: vimeo.com/374948489 © WebSummit

BAT is now on iOS with Brave Rewards! @brave 1.0 is out today, ready for all users on all platforms. With 3-6x faster browsing, unmatched privacy, and opt-in ads that pay users 70% of revenue, it's time to switch! basicattentiontoken.org/brave-launches…

I just tipped codetoinspire.org using the Brave Browser. Check it out at brave.com/tips. #TipWithBrave

Privacy-Safe Ads That Pay You? Something’s Happening At Brave (Including 7X Higher Click-Through Rates) via @forbes #3a26cc312248" target="_blank" rel="nofollow noopener">forbes.com/sites/johnkoet…

This Tweet links my Twitter account to my 3Box profile! 3box.io/0x9c1cac6111c3… Web3 social profiles by @3boxdb ✅ did:muport:QmRyuAaER5s1oKBC5UqRUz5hBhAcy2GUxH8VFSr9dRZQs6 ✅

We're thrilled to welcome @wikipedia as a Brave Verified Publisher! Now Brave users can make @AttentionToken donations seamlessly via Brave Rewards to reward their favorite content. brave.com/wikipedia-veri…