После захватывающих результатов экспериментов, объединяющих Quint и AI для улучшения генерации кода, @bugarela представил Рабочий процесс с поддержкой Quint на @summit_defi. Надежда на большее подтверждение и чувство связи в повседневной работе разработчиков против небрежности AI. Полный доклад ниже ↓