在結合 Quint 和 AI 以改善代碼生成的激動人心的實驗結果之後,@bugarela 在 @summit_defi 上介紹了 Quint 輔助工作流程。這為開發者的日常工作流程帶來了更多的驗證和連結感,以對抗 AI 的粗糙表現。 完整演講如下 ↓