¡Nueva versión de hevm lanzada! Esta versión trae mejoras en varios aspectos: ✅ Mejora de la usabilidad ✅ 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 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 ▾