2025-02-02 Комнаты разработчика FOSDEM 2025 Ada

2025-02-02 Комнаты разработчиков FOSDEM 2025 - Ada 1 Добро пожаловать в комнату разработчиков Ada Фернандо Олео Бланко, Дирк Крейнест 09:00 09:10 2 Обновления об экосистеме Ada Фернандо Олео Бланко 09:10 09:30 3 Начните работу с Ada за 2 минуты или меньше! A.J. 09:30 09:45 4 Появление сжатия: написание рабочего BZip2-кодера в Ada с нуля за несколько дней Готье де Монмоллен 09:50 10:10 5 Ada и мини-Ada: решение проблемы двуязычия Готье де Монмоллен 10:10 10:30 6 Понимание типов ликвидных активов, контрактов и формальной проверки с помощью Ada/SPARK Фернандо Олео Бланко 10:30 11:00 7 The state of Rust пытается догнать Аду Оли Шерер 11:00 11:20 8 Криптография в SPARK: создание основы с помощью вычислений постоянного времени Сезар Сагерт, Фабьен Шуто 11:25 11:45 9 Арифметика с несколькими словами и параллельные вычисления Ян Вершельде 11:45 12:05 10 Разработка драйверов устройств для Ironclad с использованием Ada streaksu 12:05 12:25 11 AdaBots - программируемые роботы для тестирования minetest, Тама Макглинн, Рудольф Батке 12:30 12:50