Lien Vérification formelle en SPARK au FOSDEM 2023
16
fév.
2023
Lien A défaut d'une devroom, il y aura un stand Ada au FOSDEM
3
fév.
2023
Lien Ada dans l'industrie du semi-conducteur
7
oct.
2022
Lien Exploitation in the era of formal verification - a peek at a new frontier
25
août
2022
Alire, le package manager d'Ada
1
juin
2022
Dans un précédent journal, il m’a été demandé de présenter Alire sous la forme d’une dépêche. Voilà, j’ai fini par prendre le temps et j’ai choisi la façon de le présenter.
Je vous propose donc une sorte de pas-à-pas plutôt qu’une explication un peu brutale
Le but
Nous allons donc créer des crates Alire (les Rustistes auront reconnu le terme).
J’ai bien dit des car cela va permettre de voir les deux types, lib ou bin que l’on peut créer.
Le projet
Le but n’étant pas d’écrire du code Ada, on va prendre un de mes projets préférés qui n’a, au moment de l’écriture de ces lignes, pas de crate associée.
J’ai nommé le Corporate Bullshit Generator, logiciel ô combien indispensable, source inépuisable d’études en scalabilité (autopromotion).
Ce magnifique projet est l’œuvre de Gautier de Montmollin qui produit aussi des choses beaucoup plus sérieuses comme Zip-Ada, une lib pour gérer les archives zip, Ada PDF Writer ou HAC, un compilateur Ada partiel.
Évidemment, tout est codé en pur Ada.
Bon assez causé, on y va direct car c’est NOTRE PROJEEEEETTTT :)
Sortie de Fedora Linux 36
10
mai
2022
En ce mardi 10 mai, les utilisateurs du Projet Fedora seront ravis d'apprendre la disponibilité de la version Fedora Linux 36.
Fedora Linux est une distribution communautaire développée par le projet Fedora et sponsorisée par Red Hat, qui lui fournit des développeurs ainsi que des moyens financiers et logistiques. Fedora Linux peut être vu comme une sorte de vitrine technologique pour le monde du logiciel libre, c’est pourquoi elle est prompte à inclure des nouveautés.
Fedora garde un rôle central dans le développement de ces nouveautés via le développement en amont. En effet, les développeurs de la distribution contribuent également directement au code d’un certain nombre de logiciels libres contenus dans la distribution, dont le noyau Linux, GNOME, NetworkManager, PackageKit, PulseAudio, Wayland, systemd, la célèbre suite de compilateurs GCC, etc. Cliquez ici pour voir l’ensemble des contributions de Red Hat.
Cela a été aussi abordé dans une série d'articles ici, là et par ici encore.
Journal Retour sur une année d'apprentissage d'Ada par un dev C++
31
mar.
2022
Cette année, AdaCore organisait un nouveau concours, Ada Crate of the year.
Les habitués de Rust auront reconnu le terme crate qui correspond, grosso modo, à une bibliothèque ou une application que l'on construit via un package manager Cargo.
En Ada, le projet Alire vise le même but et le fonctionnement est similaire. Un projet Alire est, tout comme en Rust, recompilé, dépendances comprises et linké en un exécutable.
Venons-en maintenant au sujet du journal.
Paul Jarrett est (…)
Journal Ada au FOSDEM
4
fév.
2022
Et hop, encore un journal Haribo pour les gourmands.
Donc dimanche, pour changer, la devroom étant historiquement le samedi, ce sera, entre autres, la journée Ada et SPARK.
Demandez le programme !
Au menu de cette 11ème Ada Developer Room, rien de moins que 13 présentations d'une durée variant de 25 minutes à 1 heure.
Introduction to Ada for Beginning and Experienced Programmers
Il s'agit de la traditionnelle présentation de Jean-Pierre Rosen, président d'Ada-France, permettant de (…)
Lien AdaCore and Ferrous Systems Joining Forces to support certified Rust for mission and safety-critical
2
fév.
2022
Journal Renaissance Ada
2
fév.
2022
Désolé pour le titre qui pourrait faire penser à une secte mais je n'y peux rien.
Renaissance Ada est le nom d'un ensemble bibliothèques et outils.
Le but de ces outils est de permettre la visualisation graphique de la structure d'un code, son analyse et sa modification en fonction de règles.
Pour ceux qui veulent aller vite (et les autres aussi, c'est intéressant), il y a une vidéo d'une vingtaine de minutes expliquant ce que l'on peut faire sur la (…)
Journal Re-implémentation de TweetNaCl en Spark
26
jan.
2022
A l'origine, ce n'était qu'un lien mais finalement, cela méritait un journal sur Spark.
Avant de vous filer le lien sur le portage, on va commencer par un petit exemple rapide de ce que peut faire Spark.
Mais c'est quoi Spark ?
Spark est, aujourd'hui, un sous-ensemble d'Ada restreignant les capacités aux fonctions sécurisées et non-abmigües.
Via un ensemble d'aspects, une sorte d'annotations, le compilateur gnatprove génère des conditions de vérification pour chaque sous-programme.
Ces conditions de vérification (…)
Journal Sortie de HAC
24
jan.
2022
Suite à la demande presque générale, j'ai décidé de faire un peu plus de journaux sur Ada et Spark.
Et hop, on commence avec la sortie de la dernière version de HAC.
HAC est un compilateur open-source Ada codé entièrement en… Ada.
Bon, ne nous enflammons pas, il ne couvre pas l'intégralité du langage mais cela a permis à Gautier, son concepteur, d'implémenter l'Advent of code de cette année et de l'intégrer au jeu des exemples (…)
Journal Le Tiobe nouveau est sorti
12
jan.
2022
Salut les gens et les autres
L’indice Tiobe, qui est, donc, mais vous le savez sans doute déjà, un indice de popularité1 néerlandais (mais le site est anglais) des langages de programmation est sorti. Résultat : Python est le langage de l’année 2021, avec une popularité en hausse de 1,86 %, suivi par C, dont la popularité a baissé (-4,94%) et de Java qui connaît aussi un recul de popularité, mais moindre (−1,30%).
Au hasard Balthazar le
(…)Lien Re-implémentation de TweetNaCl en Spark
5
jan.
2022
Journal la rouille et la comtesse
17
nov.
2021
Salut 'nal.
Il y a quelques mois, je me suis mis au langage Rust qui était alors le plus plébiscité de StackOverflow (et ce quatre années de suite…) et qui arrive second au dernier AOC sur Redit.
Les début de la noce furent belle. Cependant, après moins d'une semaine, j'ai du faire une pose qui dura plus longtemps que prévu, et au retour il ne fut pas aisé de se remettre dans la syntaxe cryptique. Ce n'est pas le (…)