
Argot Collective
@argotorg
Argot Collective is a non-profit, democratically organized, research and development group focused on free and independent software related to Ethereum.
ID: 1836298708536745984
http://argot.org 18-09-2024 06:58:48
40 Tweet
1,1K Followers
5 Following

Registrations are open for the 4th Summer School on Security Testing & Verification (ST&V 2025) in Brussels July 7 till 10: cybersecurity-research.be/summer-school-… Lectures cover static analysis, abstract interpretation, formal verification, security testing, fuzzing and concolic testing!



This is the chart you've been waiting for 👀 Where's Solidity, sourcify.eth, Fe Language and Formal Verification though? We're in Argot Collective :)


.sourcify.eth is open-source and for self-hosting! The team just made it easier to find public self-hosted Sourcify instances via their homepage. You don’t see your name there yet? Add your instance on sourcify.dev and let them know!

We are excited to see Dev Tools Guild launch today and to be joining its 1-year pilot! 🚀 Formerly part of the Ethereum Foundation, Solidity is now under Argot Collective, aiming to maintain Ethereum’s core infrastructure for the long term. We see DTG’s efforts as a vital step toward

Congrats to Dev Tools Guild on launching today! Solidity and sourcify.eth, two Argot projects, are joining DTG’s 1-year pilot and its mission to fund critical Ethereum infrastructure sustainably and long term. Let’s support the infrastructure that supports us all! ✧

Excited to see that 4 Argot projects - Solidity, Fe Language, Act and hevm - are part of Octant.eth's Epoch 8 cohort! 👇

