Ada at FOSDEM 2025

https://fosdem.org/2025/schedule/trac... Topics: Advent of Compression: writing a working BZip2 encoder in Ada from scratch in a few days Ada and Mini-Ada: a solution to the two-language problem Understanding liquid types, contracts and formal verification with Ada/SPARK The state of Rust trying to catch up with Ada Cryptography in SPARK: building the foundation with constant-time bigints Multiword Arithmetic and Parallel Computing Developing device drivers for Ironclad using Ada AdaBots - programmable minetest bots Support us:   / ada_re   Join Discord:   / discord   Join Telegram: https://t.me/ada_lang #ada #ada-lang #adalang #AdaProgramming