01:50 Новый сайт для Ада сообщества

05:00 Перевод "Введение в язык Ада"

06:00 Блог пост о Ада, Си и встраиваемых системах

08:10 Исследования безопасности ПО и SPARK

12:25 Ада на AVR, 8-битном ЦПУ