Запись офисных часов Ada SPARK от 3 июля 2026 года, где обсуждаются системы доказательств и обучение тому, как создавать доказательства, экосистема Ada и премии пользователей Ada, а также WebAssembly и ИИ-системы.