¡Ha llegado la nueva versión de hevm! Esta versión trae mejoras en varios frentes: ✅ Usabilidad mejorada ✅ Rendimiento más rápido ✅ Inspección de código más profunda ✅ Más garantías de corrección Un gran paso adelante para las pruebas formales de EVM.

¡Emocionado de ver que 4 proyectos de Argot, @solidity_lang, @official_fe, Act y hevm, son parte de la cohorte de la Época 8 de @OctantApp! 👇

Argot está buscando un enlace del ecosistema para ayudarnos a gestionar las relaciones con el ecosistema, la recaudación de fondos para el bien público y las comunicaciones. Más información sobre el puesto: → Si esto suena como usted (o alguien que conoce), ¡nos encantaría verlo postularse!

¡Hola mundo! Somos el Argot Collective: Un grupo de investigación y desarrollo sin fines de lucro, organizado democráticamente, enfocado en mantener el software libre e independiente relacionado con Ethereum. Lea el anuncio en nuestro blog para conocer todos los detalles o siga este hilo para obtener un consejo; Dr ▾