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