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 (…)

La dernière fois que j'ai écris sur LinuxFR, j'ai eu une tonne de commentaires utiles, des idées, des critiques, pleins de références comparables à ce que je proposais. C'était exactement ce que je demandais.

Il se trouve que c'est aussi exactement ce dont j'ai besoin aujourd'hui, donc… ben je reviens!

J'ai créé un outil de test, qui me paraît présenter un rapport efficacité / courbe d'apprentissage / utilité très intéressant.
(Oui, je sais, quand on a plus d'un '/' dans (…)

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.

Première

Si vous utilisez le moteur de recherche Google, vous avez sans doute remarqué le Doodle d'aujourd'hui. Une femme, en robe longue, à coté d'une formule mathématique et de différents ordinateurs, des ancêtres aux machines actuelles.

Il s'agit d'un hommage à la très honorable Augusta Ada, comtesse Lovelace (née Anna Byron), qui aurait fêté aujourd'hui ses 197 ans. Passionnée de mathématiques, elle a étudié les sciences des façon beaucoup plus approfondies que la plupart des dames de son époque. Ses (…)

Bonjour,

Je crois que les automaticiens ne sont pas légion sur linuxfr.org mais je ne désespère pas de les y amener comme je ne désespère pas de les amener à utiliser et créer du logiciel libre, en Ada qui plus est. We will rock you…

"Ada for Automation" (A4A en version courte) est un cadre applicatif, ou framework, pour la conception d’applications d’automatisme industriel dans le langage Ada. Il s’appuie sur la bibliothèque libmodbus pour permettre de réaliser un client (…)

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 (…)

Que se passe-t-il dans la musique électronique en 1978 ? Deux ans après Oxygène, Jean-Michel Jarre publie Equinoxe. Dans un style beaucoup plus industriel, The Normal chante "Warm Leatherette". Giorgio Moroder compose la bande originale du film Midnight Express, avec en particulier le morceau "Chase".

Quant à Kraftwerk, ils sortent l'album The Man-Machine, qui précède de trois ans Computer World ¹ dont nous avions parlé au mois de mai. Je vous emmène donc cette fois à la frontière (…)

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 (…)

Bonjour tout le monde.

Voici mon premier article de journal pour signaler que j'ai pu intervenir dans l'excellent podcast If This Then Dev (IFTTD pour les intimes).

J'y parle du langage Ada que j'utilise comme langage de prédilection dans mon secteur de l'aéronautique.

Langage auquel je trouve plein de qualités mais qui reste très méconnu et cantonné à des secteurs de niche.

Je vous laisse découvrir l'épisode ici

Bonjour,

Je souhaite vous présenter ma danseuse, un projet personnel pour le moment donc, Ada for Automation.

C'est un projet qui s'adresse à une catégorie sans doute restreinte d'utilisateurs potentiels, les automaticiens, avérés ou en herbe, qui souhaiteraient tenter l'aventure du développement d'applications d'automatisme sur base PC en langage Ada.

"Ada for Automation" (A4A en version courte) est donc un cadre applicatif, ou framework, pour la conception d’applications d’automatisme industriel dans le langage Ada.

Objectifs

J’ai identifié quelques objectifs (…)

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 (…)

Pfiou, ça fait longtemps que je n'avais pas repris ma veille. Et en plus vous verrez il n'y a pas des tonnes de lien mais bon, spa grave. En cause, changement (encore) de boulot, boulot loin de chez moi et pas de net (ni vraiment de réseau) là où je vis, des vacances assez loin du net aussi, etc. Bref, je reprend tranquillement.

Pendant ce temps, j'apprends Ada et Clojure, ça ouvre petit à petit de nouveaux horizons et (…)