È arrivata una nuova versione di hevm! Questa versione porta miglioramenti su diversi fronti: ✅ Usabilità migliorata ✅ Prestazioni più veloci ✅ Ispezione del codice più approfondita ✅ Maggiori garanzie di correttezza Un grande passo avanti per il testing formale dell'EVM.

Siamo entusiasti di vedere che 4 progetti Argot - @solidity_lang, @official_fe, Act e hevm - fanno parte della coorte Epoch 8 di @OctantApp! 👇

Argot è alla ricerca di un Ecosystem Liaison che ci aiuti a gestire le relazioni con l'ecosistema, la raccolta di fondi per il bene pubblico e le comunicazioni. Per saperne di più sul ruolo: → Se questo suona come te (o qualcuno che conosci), ci piacerebbe vederti candidare!

Salve, mondo! Siamo il Collettivo Argot: un gruppo di ricerca e sviluppo senza scopo di lucro, organizzato democraticamente, focalizzato sul mantenimento di software libero e indipendente relativo a Ethereum. Leggi l'annuncio sul nostro blog per tutti i dettagli o segui questo thread per un tl; dott. ▾