🚨Last few hours for all Intersect members to vote for Commitee members.⏳ 🤝Regarding who I'd like to publicly endorse, it was quite simple to round up that list since the vast majority are right👇here live again, 🗣️ doing the proof of community and proximity discussing

I am proud to announce I’ve been elected to the Intersect Open Source committee. Now it’s time to focus in on helping promote and commercialize Cardano open source projects!

Congratulations and welcome aboard to our new OSC members phil, Elaine (エレナ), Arnaud, Georg Link, and Niels Mündler! It'll be an exciting new couple months as we pioneer a new OS journey for Cardano, fingers crossed! Here is a quick rundown of what we're hoping to do in

I’ve successfully received my visa now :)

This is absolutely cracked. Cardano smart contract formal verification is finally becoming accessible to dApp developers with a framework designed specifically for approachability, tailor made for smart contract verification, with a vscode GUI plugin.

Have you been involved in Cardano for a while now and thought "we've built up all this cool technology, this talented community, but who's gonna get people to build on it!?" If this sounds like you, if you've been trying to get the word out but needed just a bit more time or

Reminder that this proposal is critical for the UX of all L2s including Hydra and Midgard. Otherwise users will be signing ugly plaintext strings for forced inclusion transactions.

Interested in joining the OSC? We have the OSC chair, secretary, and more members here right now available to field your questions! discord.com/events/1136727…

We're excited to announce our first Incubated Project: Evolution SDK!🎉 No.Witness Labs After careful review, including input from Intersect Technical Steering Committee , EvolutionSDK now sits under IntersectMBO and is open for expanded community contribution.🚀 Find out more➡️ bit.ly/IOSIP-NWL

Do you want to take Cardano's infrastructure and open source to the next level? Tomorrow at 14:30 UTC I'll be hosting a meet and greet, fielding questions about applying to join the Intersect Open Source Committee. Register here! discord.com/events/1136727…