Ajude-nos a moldar o futuro da codificação autónoma segura. Junte-se a @johnadtoman no dia 4 de dezembro para uma apresentação técnica do Certora AI Composer e uma discussão aberta com investigadores e construtores. 📅 10 AM PST / 1 PM EST ▶️