Salut à tous,
après l'excellent journal d'Anaseto sur le fameux "1+3a", un pote à moi, prof de maths à L'INSA de Rouen, m'a demandé de faire ce petit journal après une "découverte" faite par ses étudiants.
Ceux-ci écrivant des tests unitaires en Free Pascal sont tombés sur un comportement non documenté qui nous a amené à nous poser la question du "comment ksa fait sur les autres langages" :)
Le problème vient de l'opérateur de décalage de (…)
Après plusieurs années passées à parlementer, la nouvelle norme Ada 2012 vient enfin d'être publiée par l'ISO sous le numéro ISO/IEC 8652:2012. Il s'agit donc de la quatrième révision du langage ajoutant ainsi différentes fonctionnalités par rapport à la version 2005.
N. D. M. : GNAT est le compilateur Ada du projet GNU, faisant partie de GNU Compiler Collection (GCC). Toujours en logiciel libre, on peut citer MaRTE OS un système d'exploitation libre temps-réel en Ada.
Le calibrage d'un écran sous Linux n'est pas toujours tâche aisée. Quelques outils existaient mais jusque là, il s'agissait toujours d'outils obtenus par ingénierie inverse, les ténors du domaine ne travaillant qu'avec les systèmes d'exploitation propriétaires.
La donne est en train de changer avec un colorimètre petit, beau, pas cher et surtout, exclusivement sous Linux. La bonne nouvelle est qu'une grande partie du logiciel est fournie sous licence GPLv2 mais pas que. Les schémas électroniques sont aussi disponibles sous GPL.
Comme en plus, on propose de l'avoir en tant que beta-testeurs moyennant une remise de 20 %, ce petit objet a de fortes chances d'avoir du succès. Alors, que demande le peuple ?
Et voilà, cela fait vingt ans que le premier commit pour les ports de FreeBSD a été fait.
Au départ, il n'y avait que 10 ports. Aujourd'hui, les ports FreeBSD ont dépassé la barre des 24000 ports, des 500 committers pour plus de 360000 commits.
Bon anniversaire :)
Allez zou, la petite vidéo commémorative
Allez un petit journal bookmark issu du blog d'Adacore, ça faisait longtemps :)
Certains connaissent peut-être le crazyflie. Pour les autres, il s'agit d'un quadricoptère, en clair, un drone à quatre rotors.
Une de ses particularités est sa petite taille, il tient dans le creux de la main, mais pour les libristes que nous sommes, le gros intérêt est qu'il est ouvert, aussi bien d'un point de vue hardware que software (cf. là).
J'en arrive (…)
Ce matin, en trainant chez nos amis du Squad, je suis tombé sur cette news traitant du spam.
De fil en aiguille, en me promenant sur les différents liens du blog référencé, je suis tombé sur cette perle.
Alors pour ceux qui veulent un petit échantillon, il s'agit d'une présentation truffée d'exemples traitant de tout ce qui tourne autour de Packet Filter :
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
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 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 :)
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.
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 (…)
Et voilà, à peine développé et déjà un fork :)
Suite au journal de mzf, j'ai décidé de porter le taptempo en Ada.
Pourquoi faire ? Juste pour le plaisir :)
Et puis aussi parce que le logiciel était suffisamment court pour faire un portage rapide et montrer différents aspects d'Ada sur un programme déjà existant en C++.
Après une version Rust, voici donc, comme promis, la version Ada et sa petite explication… Enfin, deux versions.
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 (…)
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 (…)
Bon, ce sera presque un journal bookmark mais je vais essayer d'étoffer un peu.
Dans la même veine que l'excellent journal sur la ré-écriture de Gnirehtet en Rust, un article sur ElectronicDesign vient de sortir sur le portage de l'implémentation de référence en C d'un décodeur MPEG-2 vers Ada.
Bon, l'article est co-écrit par Raphaël Amiard d'AdaCore et Gustavo Hoffmann de chez Dolby ce qui présage tout de même d'un peu d'évangélisation.
Toutefois, cet article a le mérite (…)
Bon, je sais, ce n'est pas directement lié au libre mais quand même.
Le groupe Ada de l'AFNOR, qui a en charge de participer à la commission de normalisation du langage, est en passe de disparaître par manque de participants aux deux réunions annuelles.
La disparition du groupe entraînerait l'absence des utilisateurs français dans la commission de normalisation.
Sans vouloir faire de chauvinisme, avouons que ce serait dommage pour un langage autrefois défini par un groupe français :)
Et (…)
Ada est le langage de programmation par excellence lorsque la sécurité, la fiabilité et la pérennité sont essentiels.
Pour la deuxième année consécutive, AdaCore ouvre à tous un concours de programmation autour de ses technologies à savoir Ada et Spark.
Les détails sont en deuxième partie
Et voilà un journal bookmark, pour faire suite à cette dépêche, le concours étant maintenant terminé, voici les résultats :
- Premier prix : un contrôleur de moteur à courant continu
- Second prix : une montre à tout faire sur la base d'un module de développement Hexiwear
- Troisième prix : Développement d'une pile TCP pour micro-contrôleur STM32 et portage d'un client MQTT et d'un serveur HTTP.
Du beau boulot :)