Скачать
Ada at FOSDEM 2025
Автор: Ada Maximized
Загружено: 2025-02-02
Просмотров: 608
Описание:
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
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
