Международная конференция Ada Europe по надежным программным технологиям 2025 Запись трансляции доклада "Написание конкурентоспособного кодировщика BZip2 на Ada с нуля за несколько дней"