2025-02-02 FOSDEM 2025 Developer rooms - Ada

Описание

2025-02-02 FOSDEM 2025 Developer rooms - Ada
1 Welcome to the Ada DevRoom Fernando Oleo Blanco, Dirk Craeynest 09:00 09:10
2 Updates on the Ada Ecosystem Fernando Oleo Blanco 09:10 09:30
3 Get started with Ada in 2 minutes or less! A.J. 09:30 09:45
4 Advent of Compression: writing a working BZip2 encoder in Ada from scratch in a few days Gautier de Montmollin 09:50 10:10
5 Ada and Mini-Ada: a solution to the two-language problem Gautier de Montmollin 10:10 10:30
6 Understanding liquid types, contracts and formal verification with Ada/SPARK Fernando Oleo Blanco 10:30 11:00
7 The state of Rust trying to catch up with Ada Oli Scherer 11:00 11:20
8 Cryptography in SPARK: building the foundation with constant-time bigints César Sagaert, Fabien Chouteau 11:25 11:45
9 Multiword Arithmetic and Parallel Computing Jan Verschelde 11:45 12:05
10 Developing device drivers for Ironclad using Ada streaksu 12:05 12:25
11 AdaBots - programmable minetest bots Tama McGlinn, Rudolf Batke 12:30 12:50