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 (…)
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 :
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 (…)
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 :)
Pour ceux que cela intéresse, Ada-Belgium fournit les papiers de chacune des présentations qui ont eu lieu lors du dernier FOSDEM.
Il y en a pour tous les niveaux sur la page Ada Developer Room at FOSDEM 2013 avec :
Une présentation du langage par Jean-Pierre Rosen d'Adalog
Quelques outils utilisés en parallèle à Ada pour la haute fiabilité dans le cadre du projet Eurocontrol par Philippe Waroquiers
Le développement d'applications Android en Ada par José Ruiz d' (…)
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 (…)
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.
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.
Il s'agit de la traditionnelle présentation de Jean-Pierre Rosen, président d'Ada-France, permettant de (…)
Ça faisait longtemps que j'avais pas fait un petit journal bookmark.
Beaucoup d'entre vous connaissent déjà certainement le site de TIOBE Software qui fournit des statistiques sur l'utilisation des langages informatiques, je souhaite faire partager cette alternative.
Quel intérêt me direz-vous ? L'intérêt est que le code source de lang-index est libre et donc que l'algo de création de l'index vérifiable par tout un chacun.